Realization of a Natural Logic in a Database System

Troels Andreasen*, Henrik Bulskov, Jørgen Fischer Nilsson

*Corresponding author for this work

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

Abstract

Natural logics are formal logics whose sentences resemble simplified natural language. As such they are suitable for knowledge bases. The offered logical proof rules apply directly to the natural logic sentences, ensuring explainability of query inferences. We describe a natural logic, NaturaLog, suited for ontology-structured knowledge bases, and explain how it can be implemented in a database system for conducting deductive querying.

Original languageEnglish
Title of host publicationFlexible Query Answering Systems
EditorsTroels Andreasen, Guy De Tré, Janusz Kacprzyk, Henrik Legind Larsen, Gloria Bordogna, Sławomir Zadrożny
PublisherSpringer
Publication date2021
Pages54-66
ISBN (Print)9783030869663
DOIs
Publication statusPublished - 2021
Event14th International Conference on Flexible Query Answering Systems - Bratislava, Slovakia
Duration: 19 Sep 202124 Sep 2021

Conference

Conference14th International Conference on Flexible Query Answering Systems
Country/TerritorySlovakia
CityBratislava
Period19/09/202124/09/2021
SeriesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12871 LNAI
ISSN0302-9743

Bibliographical note

Publisher Copyright:
© 2021, Springer Nature Switzerland AG.

Keywords

  • Deductive querying
  • Explainability
  • Natural logics

Fingerprint

Dive into the research topics of 'Realization of a Natural Logic in a Database System'. Together they form a unique fingerprint.

Cite this