A Case for Embedded Natural Logic for Ontological Knowledge Bases

Troels Andreasen, Jørgen Fischer Nilsson

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Abstract

We argue in favour of adopting a form of natural logic for ontology-structured knowledge bases as an alternative to description logic and rule based languages. Natural logic is a form of logic resembling natural language assertions, unlike description logic. This is essential e.g. in life sciences, where the large and evolving knowledge specifications should be directly accessible to domain experts. Moreover, natural logic comes with intuitive inference rules. The considered version of natural logic leans toward the closed world assumption (CWA) unlike the open world assumption with classical negation in description logic. We embed the natural logic in DATALOG clauses which is to take care of the computational inference in connection with querying.
Original languageEnglish
Title of host publicationProceedings of the 6th International Conference on Knowledge Engineering and Ontology Development (KOED 2014)
PublisherSCITEPRESS Digital Library
Publication date2014
Pages423-427
Article number71
ISBN (Electronic)978-989-758-049-9
DOIs
Publication statusPublished - 2014
Event6th International Conference on Knowledge Engineering and Ontology Development (KOED 2014) - Rome, Italy
Duration: 21 Oct 201424 Oct 2014
Conference number: 6

Conference

Conference6th International Conference on Knowledge Engineering and Ontology Development (KOED 2014)
Number6
CountryItaly
CityRome
Period21/10/201424/10/2014

Cite this

Andreasen, T., & Nilsson, J. F. (2014). A Case for Embedded Natural Logic for Ontological Knowledge Bases. In Proceedings of the 6th International Conference on Knowledge Engineering and Ontology Development (KOED 2014) (pp. 423-427). [71] SCITEPRESS Digital Library. https://doi.org/10.5220/0005156504230427