From EL to Tractable Existential Rules with Complex Role Inclusions

Michaël Thomazo 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 : 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.
Type de document :
Communication dans un congrès
DL'12: International Workshop on Description Logics, Italy. pp.563-573, 2012
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00763586
Contributeur : Thomazo Michaël <>
Soumis le : mardi 11 décembre 2012 - 10:42:48
Dernière modification le : jeudi 24 mai 2018 - 15:59:22
Document(s) archivé(s) le : dimanche 18 décembre 2016 - 00:04:02

Fichier

dl12-t.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : lirmm-00763586, version 1

Collections

Citation

Michaël Thomazo. From EL to Tractable Existential Rules with Complex Role Inclusions. DL'12: International Workshop on Description Logics, Italy. pp.563-573, 2012. 〈lirmm-00763586〉

Partager

Métriques

Consultations de la notice

178

Téléchargements de fichiers

295