Realization of a Natural Logic in a Database System

Troels Andreasen; Henrik Bulskov; Jørgen Fischer Nilsson

doi:10.1007/978-3-030-86967-0_5

Realization of a Natural Logic in a Database System

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

^*Corresponding author for this work

Department of Applied Mathematics and Computer Science

Roskilde University

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-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.

Original language	English
Title of host publication	Flexible Query Answering Systems
Editors	Troels Andreasen, Guy De Tré, Janusz Kacprzyk, Henrik Legind Larsen, Gloria Bordogna, Sławomir Zadrożny
Publisher	Springer
Publication date	2021
Pages	54-66
ISBN (Print)	9783030869663
DOIs	https://doi.org/10.1007/978-3-030-86967-0_5
Publication status	Published - 2021
Event	14^th International Conference on Flexible Query Answering Systems - Bratislava, Slovakia Duration: 19 Sept 2021 → 24 Sept 2021

Conference

Conference	14^th International Conference on Flexible Query Answering Systems
Country/Territory	Slovakia
City	Bratislava
Period	19/09/2021 → 24/09/2021

Series	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	12871 LNAI
ISSN	0302-9743

Bibliographical note

Publisher Copyright:
© 2021, Springer Nature Switzerland AG.

Keywords

Deductive querying
Explainability
Natural logics

Access to Document

10.1007/978-3-030-86967-0_5

OpenUrl availability

Full text

Cite this

Andreasen, Troels ; Bulskov, Henrik ; Nilsson, Jørgen Fischer. / Realization of a Natural Logic in a Database System. Flexible Query Answering Systems. editor / Troels Andreasen ; Guy De Tré ; Janusz Kacprzyk ; Henrik Legind Larsen ; Gloria Bordogna ; Sławomir Zadrożny. Springer, 2021. pp. 54-66 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12871 LNAI).

@inproceedings{6f2e7ba4be4347e98f5292e0bd2d547a,

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",

author = "Troels Andreasen and Henrik Bulskov and Nilsson, {J{\o}rgen Fischer}",

note = "Publisher Copyright: {\textcopyright} 2021, Springer Nature Switzerland AG.; 14<sup>th</sup> International Conference on Flexible Query Answering Systems, FQAS 2021 ; Conference date: 19-09-2021 Through 24-09-2021",

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",

}

Andreasen, T, Bulskov, H & Nilsson, JF 2021, Realization of a Natural Logic in a Database System. in T Andreasen, G De Tré, J Kacprzyk, H Legind Larsen, G Bordogna & S Zadrożny (eds), Flexible Query Answering Systems. Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12871 LNAI, pp. 54-66, 14^th International Conference on Flexible Query Answering Systems, Bratislava, Slovakia, 19/09/2021. https://doi.org/10.1007/978-3-030-86967-0_5

Realization of a Natural Logic in a Database System. / Andreasen, Troels; Bulskov, Henrik; Nilsson, Jørgen Fischer.
Flexible Query Answering Systems. ed. / Troels Andreasen; Guy De Tré; Janusz Kacprzyk; Henrik Legind Larsen; Gloria Bordogna; Sławomir Zadrożny. Springer, 2021. p. 54-66 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12871 LNAI).

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

TY - GEN

T1 - Realization of a Natural Logic in a Database System

AU - Andreasen, Troels

AU - Bulskov, Henrik

AU - Nilsson, Jørgen Fischer

PY - 2021

Y1 - 2021

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

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

KW - Deductive querying

KW - Explainability

KW - Natural logics

U2 - 10.1007/978-3-030-86967-0_5

DO - 10.1007/978-3-030-86967-0_5

M3 - Article in proceedings

AN - SCOPUS:85115861884

SN - 9783030869663

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 54

EP - 66

BT - Flexible Query Answering Systems

A2 - Andreasen, Troels

A2 - De Tré, Guy

A2 - Kacprzyk, Janusz

A2 - Legind Larsen, Henrik

A2 - Bordogna, Gloria

A2 - Zadrożny, Sławomir

PB - Springer

T2 - 14<sup>th</sup> International Conference on Flexible Query Answering Systems

Y2 - 19 September 2021 through 24 September 2021

ER -

Andreasen T, Bulskov H, Nilsson JF. Realization of a Natural Logic in a Database System. In Andreasen T, De Tré G, Kacprzyk J, Legind Larsen H, Bordogna G, Zadrożny S, editors, Flexible Query Answering Systems. Springer. 2021. p. 54-66. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12871 LNAI). doi: 10.1007/978-3-030-86967-0_5

Realization of a Natural Logic in a Database System

Abstract

Conference

Bibliographical note

Keywords

Access to Document

OpenUrl availability

Fingerprint

Cite this