Deductive Querying of Natural Logic Bases

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

Publikation: KonferencebidragPaperForskningpeer review

Resumé

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.
OriginalsprogEngelsk
Publikationsdato2019
StatusUdgivet - 2019
Begivenhed13th 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. 20195 jul. 2019
http://www.fqas2019.units.it/

Konference

Konference13th International Conference on Flexible
Query Answering Systems
LokationHotel Village La Principessa
LandItalien
ByAmantea
Periode02/07/201905/07/2019
Internetadresse

Emneord

  • Natural Logic
  • Knowledge Bases
  • Deductive Querying
  • Formal Ontology

Citer dette

Andreasen, T., Bulskov, H., Anker Jensen, P., & Nilsson, J. F. (2019). Deductive Querying of Natural Logic Bases. Afhandling præsenteret på 13th International Conference on Flexible
Query Answering Systems, Amantea, Italien.
Andreasen, Troels ; Bulskov, Henrik ; Anker Jensen, Per ; Nilsson, Jørgen Fischer. / Deductive Querying of Natural Logic Bases. Afhandling præsenteret på 13th International Conference on Flexible
Query Answering Systems, Amantea, Italien.
@conference{c52501afb0494fe3a4a9eb2afb2662e6,
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 = "Natural Logic, Knowledge Bases, Deductive Querying, Formal Ontology",
author = "Troels Andreasen and Henrik Bulskov and {Anker Jensen}, Per and Nilsson, {J{\o}rgen Fischer}",
year = "2019",
language = "English",
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, FQAS2019 ; 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' Paper fremlagt ved, Amantea, Italien, 02/07/2019 - 05/07/2019, .

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

2019. Afhandling præsenteret på 13th International Conference on Flexible
Query Answering Systems, Amantea, Italien.

Publikation: KonferencebidragPaperForskningpeer review

TY - CONF

T1 - Deductive Querying of Natural Logic Bases

AU - Andreasen, Troels

AU - Bulskov, Henrik

AU - Anker Jensen, Per

AU - Nilsson, Jørgen Fischer

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 - Natural Logic

KW - Knowledge Bases

KW - Deductive Querying

KW - Formal Ontology

M3 - Paper

ER -

Andreasen T, Bulskov H, Anker Jensen P, Nilsson JF. Deductive Querying of Natural Logic Bases. 2019. Afhandling præsenteret på 13th International Conference on Flexible
Query Answering Systems, Amantea, Italien.