Deductive Querying of Natural Logic Bases

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

Research output: Contribution to conferencePaperResearchpeer-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.
Original languageEnglish
Publication date2019
Publication statusPublished - 2019
Event13th 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, Italy
Duration: 2 Jul 20195 Jul 2019
http://www.fqas2019.units.it/

Conference

Conference13th International Conference on Flexible
Query Answering Systems
LocationHotel Village La Principessa
CountryItaly
CityAmantea
Period02/07/201905/07/2019
Internet address

Cite this

Andreasen, T., Bulskov, H., Anker Jensen, P., & Nilsson, J. F. (2019). Deductive Querying of Natural Logic Bases. Paper presented at 13th International Conference on Flexible
Query Answering Systems, Amantea, Italy.
Andreasen, Troels ; Bulskov, Henrik ; Anker Jensen, Per ; Nilsson, Jørgen Fischer. / Deductive Querying of Natural Logic Bases. Paper presented at 13th International Conference on Flexible
Query Answering Systems, Amantea, Italy.
@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 presented at 13th International Conference on Flexible
Query Answering Systems, Amantea, Italy, 02/07/2019 - 05/07/2019, .

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

2019. Paper presented at 13th International Conference on Flexible
Query Answering Systems, Amantea, Italy.

Research output: Contribution to conferencePaperResearchpeer-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. Paper presented at 13th International Conference on Flexible
Query Answering Systems, Amantea, Italy.