A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies

David CarralDavid Carral, Cristina FeierCristina Feier, Pascal HitzlerPascal Hitzler

ISBN: 978-3-319-46522-7
Download
DOI Link

David Carral, Cristina Feier, Pascal Hitzler
A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies
In Paul Groth, Elena Simperl, Alasdair Gray, Marta Sabou, Markus Krötzsch, Freddy Lecue, Fabian Flock, Yolanda Gil, eds., The Semantic Web - ISWC 2016 - 15th International Semantic Web Conference, Kobe, Japan. Proceedings, Part I, volume 9981 of LNCS, 70-85, October 2016. Springer

Details
Bibtex

KurzfassungAbstract
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.
Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-46523-4_5.

@inproceedings{CFH2016,
  author    = {David Carral and Cristina Feier and Pascal Hitzler},
  title     = {A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ
               Ontologies},
  editor    = {Paul Groth and Elena Simperl and Alasdair Gray and Marta Sabou
               and Markus Kr{\"{o}}tzsch and Freddy Lecue and Fabian Flock and
               Yolanda Gil},
  booktitle = {The Semantic Web - {ISWC} 2016 - 15th International Semantic Web
               Conference, Kobe, Japan. Proceedings, Part I},
  series    = {LNCS},
  volume    = {9981},
  publisher = {Springer},
  year      = {2016},
  month     = {October},
  pages     = {70-85},
  doi       = {10.1007/978-3-319-46523-4_5}
}