From EL to Tractable Existential Rules with Complex Role Inclusions - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Communication Dans Un Congrès Année : 2012

From EL to Tractable Existential Rules with Complex Role Inclusions

Michaël Thomazo

Résumé

Ontology-based data access consists in using ontologies while querying data. Due to the high complexity of this problem, considering lightweight description logics like EL is especially relevant. Another strand of research is based on existential rules. In this paper, we use this latter formalism in order to cover EL with the same complexity of reasoning while allowing any predicate arity and some cycles on variables. We then add complex role inclusions to enhance expressivity, while staying polynomial in data complexity and generalizing existing results. In particular, we consider transitivity and right/left identity rules, which do not behave well with respect to usual decidability paradigms.
Fichier principal
Vignette du fichier
dl12-t.pdf (121.87 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

lirmm-00763586 , version 1 (11-12-2012)

Identifiants

  • HAL Id : lirmm-00763586 , version 1

Citer

Michaël Thomazo. From EL to Tractable Existential Rules with Complex Role Inclusions. DL: Description Logics, Jun 2012, Rome, Italy. pp.563-573. ⟨lirmm-00763586⟩
146 Consultations
201 Téléchargements

Partager

More