Computing Concept Referring Expressions for Queries on Horn ALC Ontologies

Computing Concept Referring Expressions for Queries on Horn ALC Ontologies

Moritz Illich, Birte Glimm

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence
Main Track. Pages 2669-2675. https://doi.org/10.24963/ijcai.2022/370

Classical instance queries over an ontology only consider explicitly named individuals. Concept referring expressions (CREs) also allow for returning answers in the form of concepts that describe implicitly given individuals in terms of their relation to an explicitly named one. Existing approaches, e.g., based on tree automata, can neither be integrated into state-of-the-art OWL reasoners nor are they directly amenable for an efficient implementation. To address this, we devise a novel algorithm that uses highly optimized OWL reasoners as a black box. In addition to the standard criteria of singularity and certainty for CREs, we devise and consider the criterion of uniqueness of CREs for Horn ALC ontologies. The evaluation of our prototypical implementation shows that computing CREs for the most general concept (Top) can be done in less than one minute for ontologies with thousands of individuals and concepts.
Keywords:
Knowledge Representation and Reasoning: Description Logics and Ontologies
Knowledge Representation and Reasoning: Semantic Web