Logo des Repositoriums
 
Zeitschriftenartikel

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

Vorschaubild nicht verfügbar

Volltext URI

Dokumententyp

Text/Journal Article

Zusatzinformation

Datum

2020

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Springer

Zusammenfassung

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 conjunctive query answering problem has polynomial data complexity.

Beschreibung

Mugnier, Marie-Laure (2020): Data Access With Horn Ontologies: Where Description Logics Meet Existential Rules. KI - Künstliche Intelligenz: Vol. 34, No. 4. DOI: 10.1007/s13218-020-00678-3. Springer. PISSN: 1610-1987. pp. 475-489

Zitierform

Tags