@inproceedings{35ce9b39bfcf4ff59b33aae21a86d23c,
title = "Realization of a Natural Logic in a Database System",
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.",
keywords = "Deductive querying, Explainability, Natural logics, Deductive querying, Explainability, Natural logics",
author = "Troels Andreasen and Henrik Bulskov and Nilsson, {J{\o}rgen Fischer}",
year = "2021",
doi = "10.1007/978-3-030-86967-0_5",
language = "English",
isbn = "9783030869663",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "54--66",
editor = "Troels Andreasen and {De Tr{\'e}}, Guy and Janusz Kacprzyk and {Legind Larsen}, Henrik and Gloria Bordogna and S{\l}awomir Zadro{\.z}ny",
booktitle = "Flexible Query Answering Systems - 14th International Conference, FQAS 2021, Proceedings",
note = "14th International Conference on Flexible Query Answering Systems, FQAS 2021 ; Conference date: 19-09-2021 Through 24-09-2021",
}