Deductive Querying of Natural Logic Bases

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

doi:10.1007/978-3-030-27629-4_22

Deductive Querying of Natural Logic Bases

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

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Abstract

We introduce a dedicated form of natural logic intended for
representation of sentences in a knowledge base. Natural logic is a ver-
sion 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 de-
ductive 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 facili-
ties including pathway nding accommodated by this setup.

Originalsprog	Engelsk
Titel	Flexible Query Answering Systems : 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings
Redaktører	Alfredo Cuzzocrea, Sergio Greco, Domenico Saccà, Henrik Legind Larsen, Troels Andreasen, Henning Christiansen
Antal sider	11
Udgivelsessted	Cham
Forlag	Springer
Publikationsdato	2019
Sider	231-241
ISBN (Trykt)	978-3-030-27628-7
ISBN (Elektronisk)	978-3-030-27629-4
DOI	https://doi.org/10.1007/978-3-030-27629-4_22
Status	Udgivet - 2019
Begivenhed	13th International Conference on Flexible Query Answering Systems: Flexible querying and analytics for smart cities and smart societies in the age of big data - Hotel Village La Principessa, Amantea, Italien Varighed: 2 jul. 2019 → 5 jul. 2019 Konferencens nummer: 13 http://www.fqas2019.units.it/

Konference

Konference	13th International Conference on Flexible Query Answering Systems
Nummer	13
Lokation	Hotel Village La Principessa
Land/Område	Italien
By	Amantea
Periode	02/07/2019 → 05/07/2019
Internetadresse	http://www.fqas2019.units.it/

Navn	Lecture Notes in Computer Science
ISSN	0302-9743

Emneord

Deductive Querying
Formal Ontology
Knowledge Bases
Natural Logic

Link til dokument

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

Deductive Querying of Natural Logic BasesAccepteret manuskript, 348 KB

Citer dette

Andreasen, T., Bulskov, H., Anker Jensen, P., & Nilsson, J. F. (2019). Deductive Querying of Natural Logic Bases. I A. Cuzzocrea, S. Greco, D. Saccà, H. L. Larsen, T. Andreasen, & H. Christiansen (red.), Flexible Query Answering Systems: 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings (s. 231-241). Springer. https://doi.org/10.1007/978-3-030-27629-4_22

Andreasen, Troels ; Bulskov, Henrik ; Anker Jensen, Per et al. / Deductive Querying of Natural Logic Bases. Flexible Query Answering Systems: 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings. red. / Alfredo Cuzzocrea ; Sergio Greco ; Domenico Saccà ; Henrik Legind Larsen ; Troels Andreasen ; Henning Christiansen. Cham : Springer, 2019. s. 231-241 (Lecture Notes in Computer Science).

@inproceedings{bc5aaa68b0c2463d969ec3d689d90f0c,

title = "Deductive Querying of Natural Logic Bases",

abstract = "We introduce a dedicated form of natural logic intended forrepresentation of sentences in a knowledge base. Natural logic is a ver-sion of formal logic whose sentences cover a stylized fragment of naturallanguage. Thus, the sentences in the knowledge base can be read andunderstood directly by a domain expert, unlike, say, predicate logic anddescription logic. The paper describes the inference rules enabling de-ductive querying of the knowledge base. The natural logic sentences andthe inference rules are represented in Datalog providing a convenientgraph form. As such, the natural logic knowledge base may be viewed asan enriched formal ontology structure. We describe various query facili-ties including pathway nding accommodated by this setup.",

keywords = "Deductive Querying, Formal Ontology, Knowledge Bases, Natural Logic, Deductive Querying, Formal Ontology, Knowledge Bases, Natural Logic",

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

year = "2019",

doi = "10.1007/978-3-030-27629-4_22",

language = "English",

isbn = "978-3-030-27628-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "231--241",

editor = "Alfredo Cuzzocrea and Sergio Greco and Domenico Sacc{\`a} and Larsen, {Henrik Legind} and Troels Andreasen and Henning Christiansen",

booktitle = "Flexible Query Answering Systems",

note = "13th International Conference on Flexible<br/>Query Answering Systems : Flexible querying and analytics for smart cities and smart societies in the age of big data, FQAS 2019 ; Conference date: 02-07-2019 Through 05-07-2019",

url = "http://www.fqas2019.units.it/",

}

Andreasen, T , Bulskov, H, Anker Jensen, P & Nilsson, JF 2019, Deductive Querying of Natural Logic Bases. i A Cuzzocrea, S Greco, D Saccà, HL Larsen, T Andreasen & H Christiansen (red), Flexible Query Answering Systems: 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings. Springer, Cham, Lecture Notes in Computer Science, s. 231-241, 13th International Conference on Flexible
Query Answering Systems, 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; Anker Jensen, Per et al.
Flexible Query Answering Systems: 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings. red. / Alfredo Cuzzocrea; Sergio Greco; Domenico Saccà; Henrik Legind Larsen; Troels Andreasen; Henning Christiansen. Cham: Springer, 2019. s. 231-241 (Lecture Notes in Computer Science).

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

TY - GEN

T1 - Deductive Querying of Natural Logic Bases

AU - Andreasen, Troels

AU - Bulskov, Henrik

AU - Anker Jensen, Per

AU - Nilsson, Jørgen Fischer

N1 - Conference code: 13

PY - 2019

Y1 - 2019

N2 - We introduce a dedicated form of natural logic intended forrepresentation of sentences in a knowledge base. Natural logic is a ver-sion of formal logic whose sentences cover a stylized fragment of naturallanguage. Thus, the sentences in the knowledge base can be read andunderstood directly by a domain expert, unlike, say, predicate logic anddescription logic. The paper describes the inference rules enabling de-ductive querying of the knowledge base. The natural logic sentences andthe inference rules are represented in Datalog providing a convenientgraph form. As such, the natural logic knowledge base may be viewed asan enriched formal ontology structure. We describe various query facili-ties including pathway nding accommodated by this setup.

AB - We introduce a dedicated form of natural logic intended forrepresentation of sentences in a knowledge base. Natural logic is a ver-sion of formal logic whose sentences cover a stylized fragment of naturallanguage. Thus, the sentences in the knowledge base can be read andunderstood directly by a domain expert, unlike, say, predicate logic anddescription logic. The paper describes the inference rules enabling de-ductive querying of the knowledge base. The natural logic sentences andthe inference rules are represented in Datalog providing a convenientgraph form. As such, the natural logic knowledge base may be viewed asan enriched formal ontology structure. We describe various query facili-ties including pathway nding accommodated by this setup.

KW - Deductive Querying

KW - Formal Ontology

KW - Knowledge Bases

KW - Natural Logic

KW - Deductive Querying

KW - Formal Ontology

KW - Knowledge Bases

KW - Natural Logic

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

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

M3 - Article in proceedings

SN - 978-3-030-27628-7

T3 - Lecture Notes in Computer Science

SP - 231

EP - 241

BT - Flexible Query Answering Systems

A2 - Cuzzocrea, Alfredo

A2 - Greco, Sergio

A2 - Saccà, Domenico

A2 - Larsen, Henrik Legind

A2 - Andreasen, Troels

A2 - Christiansen, Henning

PB - Springer

CY - Cham

T2 - 13th International Conference on Flexible<br/>Query Answering Systems

Y2 - 2 July 2019 through 5 July 2019

ER -

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