The Combined Approach to Query Answering in Horn-ALCHOIQiDavid Carral, Irina Dragoste, and Markus Krötzsch In Principles of Knowledge Representation and Reasoning 2018

Chasing Sets: How to Use Existential Rules for Expressing Reasoning David Carral, Irina Dragoste, Markus Krötzsch, Christian Lewe.. Datalog for

After observing the superior expressive power of the standard and Datalog-first chase on polynomial time problems, we turn to the question of whether one can also express queries

The previous results are worst-case optimal: BCQ entail- ment over Horn-ALCHOIQ ontologies is E XP T IME -hard (and P-hard for data complexity) since this is true even for

* A Practical Acyclicity Notion for Query Answering over Horn-SRIQ Ontologies [ISWC 2016]. * Restricted Chase (Non)Termination for Existential Rules with Disjunctions

Remark 2. Every rule in an SRI ontology has at most 3 variables. Every function symbol in the skolemisation of a SRI ontology has arity one.. Reasoning over Existential Rules

David Carral, Irina Dragoste, Markus Krötzsch TU Dresden... BCQ entailment: co-N2ExpTime

Remarks. Every rule in an OWL ontology has at most 3 variables. Every function symbol in the skolemisation of a SRI ontology has arity one.. SRI Axioms. Remarks. Every rule in an

As usual in combined approaches (e.g., see [Stefanoni et al., 2013]), query processing times depend on the num- ber of candidate answers; thus, the applicability of the com-