Deductive Querying of Natural Logic Bases

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

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

47 Downloads (Pure)

Abstract

We introduce a dedicated form of natural logic intended for representation of sentences in a knowledge base. Natural logic is a version 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 deductive 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 facilities including pathway finding accommodated by this setup.
Original languageEnglish
Title of host publicationProceedings of International Conference on Flexible Query Answering Systems
PublisherSpringer
Publication date2019
Pages231-41
ISBN (Print)978-3-030-27628-7
DOIs
Publication statusPublished - 2019
Event13th International Conference on Flexible Query Answering Systems - Hotel Village La Principessa, Amantea, Italy
Duration: 2 Jul 20195 Jul 2019
http://www.fqas2019.units.it/

Conference

Conference13th International Conference on Flexible Query Answering Systems
LocationHotel Village La Principessa
CountryItaly
CityAmantea
Period02/07/201905/07/2019
Internet address
SeriesLecture Notes in Computer Science
Volume11529
ISSN0302-9743

Keywords

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

Fingerprint Dive into the research topics of 'Deductive Querying of Natural Logic Bases'. Together they form a unique fingerprint.

Cite this