@conference {556,
	title = {A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies},
	booktitle = {The Semantic Web - {ISWC} 2016 - 15th International Semantic Web Conference, Kobe, Japan, October 17-21, 2016, Proceedings, Part {I}},
	year = {2016},
	pages = {70{\textendash}85},
	abstract = {<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.</p>
},
	doi = {10.1007/978-3-319-46523-4_5},
	url = {http://dx.doi.org/10.1007/978-3-319-46523-4_5},
	author = {David Carral and Cristina Feier and Pascal Hitzler}
}
