Skip to Main content Skip to Navigation
Journal articles

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

Marie-Laure Mugnier 1
1 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
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.
Document type :
Journal articles
Complete list of metadata

https://hal-lirmm.ccsd.cnrs.fr/lirmm-02920670
Contributor : Marie-Laure Mugnier <>
Submitted on : Monday, August 24, 2020 - 7:23:16 PM
Last modification on : Monday, December 14, 2020 - 5:52:06 PM
Long-term archiving on: : Tuesday, December 1, 2020 - 6:32:52 AM

File

ki-mugnier-accepted.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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

Share

Metrics

Record views

80

Files downloads

67