@inproceedings{b8cf15882fd24bc08a2de37d481451e7,
title = "On Reducing Reasoning and Querying in Natural Logic to Database Querying",
abstract = "This paper outlines a systems architecture for deductive querying of knowledge bases in a natural logic. The natural logic may be conceived as an extension of formal ontology languages featuring multiple quantified relationships between classes in addition to the subclass relation. It is proposed to obtain deductive querying by computation and storing of relevant logical consequences in a preliminary step. The paper explains how then subsequently query answers within the natural logic can be computed through plain relational database querying using ordinary query languages.",
keywords = "database reduction, deductive querying, explainability, natural logic, database reduction, deductive querying, explainability, natural logic",
author = "Troels Andreasen and Henrik Bulskov and Nilsson, {J{\o}rgen Fischer}",
year = "2023",
doi = "10.1007/978-3-031-42935-4_1",
language = "English",
isbn = "9783031429347",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "3--14",
editor = "Larsen, {Henrik Legind} and Martin-Bautista, {Maria J.} and Ruiz, {M. Dolores} and Troels Andreasen and Gloria Bordogna and {De Tr{\'e}}, Guy",
booktitle = "Flexible Query Answering Systems - 15th International Conference, FQAS 2023, Proceedings",
note = "Proceedings of the 15th International Conference on Flexible Query Answering Systems, FQAS 2023 ; Conference date: 05-09-2023 Through 07-09-2023",
}