Deductive Querying of Natural Logic Bases

Troels Andreasen, Henrik Bulskov, Per Anker Jensen, Jørgen Fischer Nilsson

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Abstract

We introduce a dedicated form of natural logic intended for
representation of sentences in a knowledge base. Natural logic is a ver-
sion of formal logic whose sentences cover a stylized fragment of natural
language. Thus, the sentences in the knowledge base can be read and
understood directly by a domain expert, unlike, say, predicate logic and
description logic. The paper describes the inference rules enabling de-
ductive querying of the knowledge base. The natural logic sentences and
the inference rules are represented in Datalog providing a convenient
graph form. As such, the natural logic knowledge base may be viewed as
an enriched formal ontology structure. We describe various query facili-
ties including pathway nding accommodated by this setup.
OriginalsprogEngelsk
TitelFlexible Query Answering Systems : 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings
RedaktørerAlfredo Cuzzocrea, Sergio Greco, Henrik Legind Larsen, Domenico Saccà, Troels Andreasen, Henning Christiansen
Udgivelses stedCham
ForlagSpringer
Publikationsdato2019
Sider231-241
ISBN (Trykt)978-3-030-27628-7
ISBN (Elektronisk)978-3-030-27629-4
DOI
StatusUdgivet - 2019
Begivenhed13th International Conference on Flexible
Query Answering Systems: Flexible querying and analytics for smart cities and smart societies in the age of big data
- Hotel Village La Principessa, Amantea, Italien
Varighed: 2 jul. 20195 jul. 2019
Konferencens nummer: 13
http://www.fqas2019.units.it/

Konference

Konference13th International Conference on Flexible
Query Answering Systems
Nummer13
LokationHotel Village La Principessa
LandItalien
ByAmantea
Periode02/07/201905/07/2019
Internetadresse
NavnLecture Notes in Computer Science
ISSN0302-9743

Emneord

  • Natural Logic
  • Knowledge Bases
  • Deductive Querying
  • Formal Ontology

Citer dette

Andreasen, T., Bulskov, H., Anker Jensen, P., & Nilsson, J. F. (2019). Deductive Querying of Natural Logic Bases. I A. Cuzzocrea, S. Greco, H. Legind Larsen, D. Saccà, T. Andreasen, & H. Christiansen (red.), Flexible Query Answering Systems: 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings (s. 231-241). Springer. Lecture Notes in Computer Science https://doi.org/10.1007/978-3-030-27629-4_22