Conference paper
Realization of a Natural Logic in a Database System
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.
Language: | English |
---|---|
Publisher: | Springer |
Year: | 2021 |
Pages: | 54-66 |
Proceedings: | 14<sup>th</sup> International Conference on Flexible Query Answering Systems |
Series: | Lecture Notes in Computer Science (including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
ISBN: | 3030869660 , 3030869679 , 9783030869663 and 9783030869670 |
ISSN: | 16113349 and 03029743 |
Types: | Conference paper |
DOI: | 10.1007/978-3-030-86967-0_5 |
ORCIDs: | Nilsson, Jørgen Fischer |