Conference paper · Book chapter
Deductive Querying of Natural Logic Bases
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.
Language: | English |
---|---|
Publisher: | Springer |
Year: | 2019 |
Pages: | 231-41 |
Proceedings: | 13th International Conference on Flexible Query Answering Systems |
Series: | Lecture Notes in Computer Science |
Journal subtitle: | 13th International Conference, Fqas 2019, Amantea, Italy, July 2–5, 2019, Proceedings |
ISBN: | 3030276287 , 3030276295 , 9783030276287 and 9783030276294 |
ISSN: | 03029743 and 16113349 |
Types: | Conference paper and Book chapter |
DOI: | 10.1007/978-3-030-27629-4_22 |
ORCIDs: | Nilsson, Jørgen Fischer |