01161nas a2200133 4500008004100000245008000041210006900121300001200190520071700202100001800919700002000937700002000957856005000977 2016 eng d00aA Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies0 aPractical Acyclicity Notion for Query Answering Over HornSRIQ On a70–853 a
Conjunctive query answering over expressive Horn Description Logic ontologies is a relevant and challenging problem which, in some cases, can be addressed by application of the chase algorithm. In this paper, we define a novel acyclicity notion which provides a sufficient condition for termination of the restricted chase over Horn-SRIQ TBoxes. We show that this notion generalizes most of the existing acyclicity conditions (both theoretically and empirically). Furthermore, this new acyclicity notion gives rise to a very efficient reasoning procedure. We provide evidence for this by providing a materialization based reasoner for acyclic ontologies which outperforms other state-of-the-art systems.
1 aCarral, David1 aFeier, Cristina1 aHitzler, Pascal uhttp://dx.doi.org/10.1007/978-3-319-46523-4_5