Data Access With Horn Ontologies: Where Description Logics Meet Existential Rules - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Article Dans Une Revue KI - Künstliche Intelligenz Année : 2020

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

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

Citer

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⟩
82 Consultations
131 Téléchargements

Altmetric

Partager

More