Deductive Querying of Natural Logic Bases

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

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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
Title of host publicationFlexible Query Answering Systems : 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings
EditorsAlfredo Cuzzocrea, Sergio Greco, Domenico Saccà, Henrik Legind Larsen, Troels Andreasen, Henning Christiansen
Number of pages11
Place of PublicationCham
PublisherSpringer
Publication date2019
Pages231-241
ISBN (Print)978-3-030-27628-7
ISBN (Electronic)978-3-030-27629-4
DOIs
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
Conference number: 13
http://www.fqas2019.units.it/

Conference

Conference13th International Conference on Flexible
Query Answering Systems
Number13
LocationHotel Village La Principessa
Country/TerritoryItaly
CityAmantea
Period02/07/201905/07/2019
Internet address
SeriesLecture Notes in Computer Science
ISSN0302-9743

Keywords

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

Cite this