Deductive Querying of Natural Logic Bases

Troels Andreasen, Henrik Bulskov, Per Anker Jensen, Jørgen Fischer Nilsson

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Resumé

We introduce a dedicated form of natural logic intended for representation of sentences in a knowledge base. Natural logic is a version of formal logic whose sentences cover a stylized fragment of natural language. Thus, the sentences in the knowledge base can be read and understood directly by a domain expert, unlike, say, predicate logic and description logic. The paper describes the inference rules enabling deductive querying of the knowledge base. The natural logic sentences and the inference rules are represented in Datalog providing a convenient graph form. As such, the natural logic knowledge base may be viewed as an enriched formal ontology structure. We describe various query facilities including pathway finding accommodated by this setup.
OriginalsprogEngelsk
TitelFlexible Query Answering Systems : Proceedings of the 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019
RedaktørerAlfredo Cuzzocrea, Sergio Greco, Henrik Legind Larsen, Domenico Saccà, Troels Andreasen, Henning Christiansen
Antal sider11
Udgivelses stedCham
ForlagSpringer
Publikationsdato2019
Sider231-241
ISBN (Trykt)9783030276287
ISBN (Elektronisk)9783030276294
DOI
StatusUdgivet - 2019
BegivenhedThe 13th International Conference in Flexible Query Answering Systems. FQAS 2019 - Hotel Village “La Principessa”, Amantea, Italien
Varighed: 2 jul. 20195 jul. 2019
Konferencens nummer: 13
http://www.fqas2019.units.it/

Konference

KonferenceThe 13th International Conference in Flexible Query Answering Systems. FQAS 2019
Nummer13
LokationHotel Village “La Principessa”
LandItalien
ByAmantea
Periode02/07/201905/07/2019
Internetadresse
NavnLecture Notes in Computer Science
Vol/bind11529
ISSN0302-9743

Emneord

  • Natural logic
  • Knowledge bases
  • Deductive querying
  • Formal ontology

Citer dette

Andreasen, T., Bulskov, H., Jensen, P. A., & Nilsson, J. F. (2019). Deductive Querying of Natural Logic Bases. I A. Cuzzocrea, S. Greco, H. L. Larsen, D. Saccà, T. Andreasen, & H. Christiansen (red.), Flexible Query Answering Systems: Proceedings of the 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019 (s. 231-241). Cham: Springer. Lecture Notes in Computer Science, Bind. 11529 https://doi.org/10.1007/978-3-030-27629-4_22
Andreasen, Troels ; Bulskov, Henrik ; Jensen, Per Anker ; Nilsson, Jørgen Fischer. / Deductive Querying of Natural Logic Bases. Flexible Query Answering Systems: Proceedings of the 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019. red. / Alfredo Cuzzocrea ; Sergio Greco ; Henrik Legind Larsen ; Domenico Saccà ; Troels Andreasen ; Henning Christiansen. Cham : Springer, 2019. s. 231-241 (Lecture Notes in Computer Science, Bind 11529).
@inproceedings{8aa9bf1de4ea4e74aa598ef110111041,
title = "Deductive Querying of Natural Logic Bases",
abstract = "We introduce a dedicated form of natural logic intended for representation of sentences in a knowledge base. Natural logic is a version of formal logic whose sentences cover a stylized fragment of natural language. Thus, the sentences in the knowledge base can be read and understood directly by a domain expert, unlike, say, predicate logic and description logic. The paper describes the inference rules enabling deductive querying of the knowledge base. The natural logic sentences and the inference rules are represented in Datalog providing a convenient graph form. As such, the natural logic knowledge base may be viewed as an enriched formal ontology structure. We describe various query facilities including pathway finding accommodated by this setup.",
keywords = "Natural logic, Knowledge bases, Deductive querying, Formal ontology, Natural logic, Knowledge bases, Deductive querying, Formal ontology",
author = "Troels Andreasen and Henrik Bulskov and Jensen, {Per Anker} and Nilsson, {J{\o}rgen Fischer}",
year = "2019",
doi = "10.1007/978-3-030-27629-4_22",
language = "English",
isbn = "9783030276287",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "231--241",
editor = "Alfredo Cuzzocrea and Sergio Greco and Larsen, {Henrik Legind} and Domenico Sacc{\`a} and Troels Andreasen and Henning Christiansen",
booktitle = "Flexible Query Answering Systems",
address = "Germany",

}

Andreasen, T, Bulskov, H, Jensen, PA & Nilsson, JF 2019, Deductive Querying of Natural Logic Bases. i A Cuzzocrea, S Greco, HL Larsen, D Saccà, T Andreasen & H Christiansen (red), Flexible Query Answering Systems: Proceedings of the 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019. Springer, Cham, Lecture Notes in Computer Science, bind 11529, s. 231-241, The 13th International Conference in Flexible Query Answering Systems. FQAS 2019, Amantea, Italien, 02/07/2019. https://doi.org/10.1007/978-3-030-27629-4_22

Deductive Querying of Natural Logic Bases. / Andreasen, Troels; Bulskov, Henrik; Jensen, Per Anker; Nilsson, Jørgen Fischer.

Flexible Query Answering Systems: Proceedings of the 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019. red. / Alfredo Cuzzocrea; Sergio Greco; Henrik Legind Larsen; Domenico Saccà; Troels Andreasen; Henning Christiansen. Cham : Springer, 2019. s. 231-241 (Lecture Notes in Computer Science, Bind 11529).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

TY - GEN

T1 - Deductive Querying of Natural Logic Bases

AU - Andreasen, Troels

AU - Bulskov, Henrik

AU - Jensen, Per Anker

AU - Nilsson, Jørgen Fischer

PY - 2019

Y1 - 2019

N2 - We introduce a dedicated form of natural logic intended for representation of sentences in a knowledge base. Natural logic is a version of formal logic whose sentences cover a stylized fragment of natural language. Thus, the sentences in the knowledge base can be read and understood directly by a domain expert, unlike, say, predicate logic and description logic. The paper describes the inference rules enabling deductive querying of the knowledge base. The natural logic sentences and the inference rules are represented in Datalog providing a convenient graph form. As such, the natural logic knowledge base may be viewed as an enriched formal ontology structure. We describe various query facilities including pathway finding accommodated by this setup.

AB - We introduce a dedicated form of natural logic intended for representation of sentences in a knowledge base. Natural logic is a version of formal logic whose sentences cover a stylized fragment of natural language. Thus, the sentences in the knowledge base can be read and understood directly by a domain expert, unlike, say, predicate logic and description logic. The paper describes the inference rules enabling deductive querying of the knowledge base. The natural logic sentences and the inference rules are represented in Datalog providing a convenient graph form. As such, the natural logic knowledge base may be viewed as an enriched formal ontology structure. We describe various query facilities including pathway finding accommodated by this setup.

KW - Natural logic

KW - Knowledge bases

KW - Deductive querying

KW - Formal ontology

KW - Natural logic

KW - Knowledge bases

KW - Deductive querying

KW - Formal ontology

U2 - 10.1007/978-3-030-27629-4_22

DO - 10.1007/978-3-030-27629-4_22

M3 - Article in proceedings

SN - 9783030276287

T3 - Lecture Notes in Computer Science

SP - 231

EP - 241

BT - Flexible Query Answering Systems

A2 - Cuzzocrea, Alfredo

A2 - Greco, Sergio

A2 - Larsen, Henrik Legind

A2 - Saccà, Domenico

A2 - Andreasen, Troels

A2 - Christiansen, Henning

PB - Springer

CY - Cham

ER -

Andreasen T, Bulskov H, Jensen PA, Nilsson JF. Deductive Querying of Natural Logic Bases. I Cuzzocrea A, Greco S, Larsen HL, Saccà D, Andreasen T, Christiansen H, red., Flexible Query Answering Systems: Proceedings of the 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019. Cham: Springer. 2019. s. 231-241. (Lecture Notes in Computer Science, Bind 11529). https://doi.org/10.1007/978-3-030-27629-4_22