The Combined Approach to Query Answering in Horn-ALCHOIQ

From International Center for Computational Logic

Toggle side column

The Combined Approach to Query Answering in Horn-ALCHOIQ

David CarralDavid Carral,  Irina DragosteIrina Dragoste,  Markus KrötzschMarkus Krötzsch
The Combined Approach to Query Answering in Horn-ALCHOIQ


Slides: The Combined Approach to Query Answering in Horn-ALCHOIQ

David Carral, Irina Dragoste, Markus Krötzsch
The Combined Approach to Query Answering in Horn-ALCHOIQ
In Michael Thielscher, Francesca Toni, Frank Wolter, eds., Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), 339-348, October 2018. AAAI Press
  • KurzfassungAbstract
    Combined approaches have become a successful technique for solving conjunctive query (CQ) answering over description logics (DL) ontologies. Nevertheless, existing approaches are restricted to tractable DL languages. In this work, we extend the combined method to the more expressive DL Horn-ALCHOIQ---a language for which CQ answering is ExpTime-complete---in order to develop an efficient and scalable CQ answering procedure which is worst-case optimal for Horn-ALCHOIQand ELHO ontologies. We implement and study the feasibility of our algorithm, and compare its performance to the DL reasoner Konclude.
  • Bemerkung: Note: This is an extended version of the paper with an additional appendix.
  • Projekt:Project: DIAMONDHAEC B08Cfaed
  • Forschungsgruppe:Research Group: Wissensbasierte Systeme
@inproceedings{CDK2018,
  author    = {David Carral and Irina Dragoste and Markus Kr{\"{o}}tzsch},
  title     = {The Combined Approach to Query Answering in Horn-ALCHOIQ},
  editor    = {Michael Thielscher and Francesca Toni and Frank Wolter},
  booktitle = {Proceedings of the 16th International Conference on Principles of
               Knowledge Representation and Reasoning (KR 2018)},
  publisher = {AAAI Press},
  year      = {2018},
  month     = {October},
  pages     = {339-348}
}