On Free Description Logics with Definite Descriptions

Artale, A, Mazzullo, A, Ozaki, A and Wolter, F
(2021) On Free Description Logics with Definite Descriptions. In: International Conference on Principles of Knowledge Representation and Reasoning.

[img] Text
main_kr21_cr.pdf - Author Accepted Manuscript

Download (315kB) | Preview


Definite descriptions are phrases of the form 'the x such that φ', used to refer to single entities in a context. They are often more meaningful to users than individual names alone, in particular when modelling or querying data over ontologies. We investigate free description logics with both individual names and definite descriptions as terms of the language, while also accounting for their possible lack of denotation. We focus on the extensions of ALC and, respectively, εL with nominals, the universal role, and definite descriptions. We show that standard reasoning in these extensions is not harder than in the original languages, and we characterise the expressive power of concepts relative to first-order formulas using a suitable notion of bisimulation. Moreover, we lay the foundations for automated support for definite descriptions generation by studying the complexity of deciding the existence of definite descriptions for an individual under an ontology. Finally, we provide a polynomial-time reduction of reasoning in other free description logic languages based on dual-domain semantics to the case of partial interpretations.

Item Type: Conference or Workshop Item (Unspecified)
Divisions: Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User: Symplectic Admin
Date Deposited: 11 Oct 2021 07:59
Last Modified: 18 Jan 2023 21:27
URI: https://livrepository.liverpool.ac.uk/id/eprint/3139835