Data Access With Horn Ontologies: Where Description Logics Meet Existential Rules - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Journal Articles KI - Künstliche Intelligenz Year : 2020

Data Access With Horn Ontologies: Where Description Logics Meet Existential Rules

Abstract

Two main families of ontology languages are considered in the context of data access, namely Horn description logics and existential rules. In this paper, we review the semantic relationships between these families in the light of the ontology-mediated query answering problem. To this end, we rely on the standard translation of description logics in first-order logic and on the notion of semantic emulation. We focus on description logics and classes of existential rules for which the con-junctive query answering problem has polynomial data complexity.
Fichier principal
Vignette du fichier
ki-mugnier-accepted.pdf (435.7 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

lirmm-02920670 , version 1 (24-08-2020)

Identifiers

Cite

Marie-Laure Mugnier. Data Access With Horn Ontologies: Where Description Logics Meet Existential Rules. KI - Künstliche Intelligenz, 2020, Ontologies and Data Management -- Part II, 34 (4), pp.475-489. ⟨10.1007/s13218-020-00678-3⟩. ⟨lirmm-02920670⟩
81 View
129 Download

Altmetric

Share

More