Abstract
Original language | English |
---|---|
Title of host publication | Flexible Query Answering Systems : Proceedings of the 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019 |
Editors | Alfredo Cuzzocrea, Sergio Greco, Henrik Legind Larsen, Domenico Saccà, Troels Andreasen, Henning Christiansen |
Number of pages | 11 |
Place of Publication | Cham |
Publisher | Springer |
Publication date | 2019 |
Pages | 231-241 |
ISBN (Print) | 9783030276287 |
ISBN (Electronic) | 9783030276294 |
DOIs | |
Publication status | Published - 2019 |
Event | The 13th International Conference in Flexible Query Answering Systems. FQAS 2019 - Hotel Village “La Principessa”, Amantea, Italy Duration: 2 Jul 2019 → 5 Jul 2019 Conference number: 13 http://www.fqas2019.units.it/ |
Conference
Conference | The 13th International Conference in Flexible Query Answering Systems. FQAS 2019 |
---|---|
Number | 13 |
Location | Hotel Village “La Principessa” |
Country | Italy |
City | Amantea |
Period | 02/07/2019 → 05/07/2019 |
Internet address |
Series | Lecture Notes in Computer Science |
---|---|
Volume | 11529 |
ISSN | 0302-9743 |
Keywords
- Natural logic
- Knowledge bases
- Deductive querying
- Formal ontology
Cite this
}
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. ed. / Alfredo Cuzzocrea; Sergio Greco; Henrik Legind Larsen; Domenico Saccà; Troels Andreasen; Henning Christiansen. Cham : Springer, 2019. p. 231-241 (Lecture Notes in Computer Science, Vol. 11529).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-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 -