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; 2011a]. Query answering is also decidable for description logics [Baader, 2003], which further allow disjunction and functionality… (More)

Topics

Cite this paper

@inproceedings{Amarilli2015CombiningER, title={Combining Existential Rules and Description Logics}, author={Antoine Amarilli and Michael Benedikt}, booktitle={IJCAI}, year={2015} }