Realization of a Natural Logic in a Database System

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

*Corresponding author

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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.

OriginalsprogEngelsk
TitelFlexible Query Answering Systems - 14th International Conference, FQAS 2021, Proceedings
RedaktørerTroels Andreasen, Guy De Tré, Janusz Kacprzyk, Henrik Legind Larsen, Gloria Bordogna, Sławomir Zadrożny
Antal sider13
ForlagSpringer
Publikationsdato2021
Sider54-66
ISBN (Trykt)9783030869663
DOI
StatusUdgivet - 2021
Begivenhed14th International Conference on Flexible Query Answering Systems, FQAS 2021 - Bratislava, Slovakiet
Varighed: 19 sep. 202124 sep. 2021

Konference

Konference14th International Conference on Flexible Query Answering Systems, FQAS 2021
Land/OmrådeSlovakiet
ByBratislava
Periode19/09/202124/09/2021
NavnLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind12871 LNAI
ISSN0302-9743

Emneord

  • Deductive querying
  • Explainability
  • Natural logics

Citer dette