Finalized:Friday, September 23, 2016
Author(s):Carral D., Feier C., Hitzler P.
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.
Carral D., Feier C., Hitzler P. (2016) A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies. In: Groth P. et al. (eds) The Semantic Web – ISWC 2016. ISWC 2016. Lecture Notes in Computer Science, vol 9981. Springer, Cham. doi:10.1007/978-3-319-46523-4_5This material is based upon work supported by the National Science Foundation under Grant No. 1440202. Opinions, findings, conclusions or recommendations expressed are those of the authors and do not reflect the views of the NSF.