2016/01/01 by David Carral, Cristina Feier, Pascal Hitzler · 3 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · #Biomedical Text Mining and Ontologies #Boolean conjunctive query #Chase #Conjunctive query #Description logic #Logic, Reasoning, and Knowledge #Ontology #Query language #Question answering #Semantic Web and Ontologies #Semantic reasoner #Web Ontology Language #cs.AI #cs.DB #cs.LO
paper · pdf · doi:10.1007/978-3-319-46523-4_5
published in Lecture notes in computer science, 70-85 (Springer Science+Business Media)
openalex publication_date 2016/01/01 · openalex created_date 2016/09/30 · arxiv created 2018/04/19 · arxiv updated 2018/04/20 · openalex updated_date 2026/08/05
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.