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.
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 language | English |
---|---|
Title of host publication | Flexible Query Answering Systems : 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings |
Editors | Alfredo Cuzzocrea, Sergio Greco, Domenico Saccà, Henrik Legind Larsen, Troels Andreasen, Henning Christiansen |
Number of pages | 11 |
Place of Publication | Cham |
Publisher | Springer |
Publication date | 2019 |
Pages | 231-241 |
ISBN (Print) | 978-3-030-27628-7 |
ISBN (Electronic) | 978-3-030-27629-4 |
DOIs | |
Publication status | Published - 2019 |
Event | 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, Italy Duration: 2 Jul 2019 → 5 Jul 2019 Conference number: 13 http://www.fqas2019.units.it/ |
Conference
Conference | 13th International Conference on Flexible Query Answering Systems |
---|---|
Number | 13 |
Location | Hotel Village La Principessa |
Country/Territory | Italy |
City | Amantea |
Period | 02/07/2019 → 05/07/2019 |
Internet address |
Series | Lecture Notes in Computer Science |
---|---|
ISSN | 0302-9743 |
Keywords
- Deductive Querying
- Formal Ontology
- Knowledge Bases
- Natural Logic