Combining Existential Rules and Description Logics

Abstract :

Query answering under existential rules — implications with existential quantifiers in the head — is known to be decidable when imposing restrictions on the rule bodies such as frontier-guardedness [Baget et al., 2010; Baget et al., 2011a]. Query answering is also decidable for description logics [Baader, 2003], which further allow disjunction and functionality constraints (assert that certain relations are functions); however, they are focused on ER-type schemas, where relations have arity two. This work investigates how to get the best of both worlds: having decidable existential rules on arbitrary arity relations, while allowing rich description logics, including functionality constraints, on arity-two relations. We first show negative results on combining such decidable languages. Second, we introduce an expressive set of existential rules (frontier-one rules with a certain restriction) which can be combined with powerful constraints on arity-two relations (e.g. GC2, ALCQIb) while retaining decidable query answering. Further, we provide conditions to add functionality constraints on the higher-arity relations.

Type de document :
Communication dans un congrès
IJCAI 2015, Jul 2015, Buenos Aires, Argentina. pp.2691-2697, 2015
Liste complète des métadonnées

https://hal-imt.archives-ouvertes.fr/hal-01190601
Contributeur : Admin Télécom Paristech <>
Soumis le : mardi 1 septembre 2015 - 14:24:02
Dernière modification le : jeudi 11 janvier 2018 - 06:23:39

Identifiants

  • HAL Id : hal-01190601, version 1

Citation

Antoine Amarilli, Michael Benedikt. Combining Existential Rules and Description Logics. IJCAI 2015, Jul 2015, Buenos Aires, Argentina. pp.2691-2697, 2015. 〈hal-01190601〉

Partager

Métriques

Consultations de la notice

57