On Reducing Reasoning and Querying in Natural Logic to Database Querying

Troels Andreasen; Henrik Bulskov; Jørgen Fischer Nilsson

doi:10.1007/978-3-031-42935-4_1

On Reducing Reasoning and Querying in Natural Logic to Database Querying

Troels Andreasen^* (Editor), Henrik Bulskov, Jørgen Fischer Nilsson

^*Corresponding author for this work

Roskilde University

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

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.

Original language	English
Title of host publication	Proceedings of the 15th International Conference on Flexible Query Answering System
Volume	14113
Publisher	Springer
Publication date	2023
Pages	3-14
ISBN (Print)	978-3-031-42934-7
ISBN (Electronic)	978-3-031-42935-4
DOIs	https://doi.org/10.1007/978-3-031-42935-4_1
Publication status	Published - 2023
Event	15th International Conference on Flexible Query Answering System - Palma de Mallorca, Spain Duration: 5 Sept 2023 → 7 Sept 2023

Conference

Conference	15th International Conference on Flexible Query Answering System
Country/Territory	Spain
City	Palma de Mallorca
Period	05/09/2023 → 07/09/2023

Keywords

Deductive querying
Natural logic
Explainability
Database reduction

Access to Document

10.1007/978-3-031-42935-4_1

OpenUrl availability

Full text

Cite this

@inproceedings{f4745d007faa4a7d99e8ee6ddca05280,

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 = "Deductive querying, Natural logic, Explainability, Database reduction",

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 = "978-3-031-42934-7",

volume = "14113",

pages = "3--14",

booktitle = "Proceedings of the 15th International Conference on Flexible Query Answering System",

publisher = "Springer",

note = "15th International Conference on Flexible Query Answering System, FQAS ; Conference date: 05-09-2023 Through 07-09-2023",

}

Andreasen, T (ed.), Bulskov, H & Nilsson, JF 2023, On Reducing Reasoning and Querying in Natural Logic to Database Querying. in Proceedings of the 15th International Conference on Flexible Query Answering System. vol. 14113, Springer, pp. 3-14, 15th International Conference on Flexible Query Answering System, Palma de Mallorca, Spain, 05/09/2023. https://doi.org/10.1007/978-3-031-42935-4_1

On Reducing Reasoning and Querying in Natural Logic to Database Querying. / Andreasen, Troels (Editor); Bulskov, Henrik; Nilsson, Jørgen Fischer.
Proceedings of the 15th International Conference on Flexible Query Answering System. Vol. 14113 Springer, 2023. p. 3-14.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - On Reducing Reasoning and Querying in Natural Logic to Database Querying

AU - Bulskov, Henrik

AU - Nilsson, Jørgen Fischer

A2 - Andreasen, Troels

PY - 2023

Y1 - 2023

N2 - 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.

AB - 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.

KW - Deductive querying

KW - Natural logic

KW - Explainability

KW - Database reduction

U2 - 10.1007/978-3-031-42935-4_1

DO - 10.1007/978-3-031-42935-4_1

M3 - Article in proceedings

SN - 978-3-031-42934-7

VL - 14113

SP - 3

EP - 14

BT - Proceedings of the 15th International Conference on Flexible Query Answering System

PB - Springer

T2 - 15th International Conference on Flexible Query Answering System

Y2 - 5 September 2023 through 7 September 2023

ER -

On Reducing Reasoning and Querying in Natural Logic to Database Querying

Abstract

Conference

Keywords

Access to Document

OpenUrl availability

Fingerprint

Cite this