The Combined Approach to Query Answering Beyond the OWL 2 Profiles

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

The Combined Approach to Query Answering Beyond the OWL 2 Profiles

Cristina FeierCristina Feier,  David CarralDavid Carral,  Giorgio StefanoniGiorgio Stefanoni,  Bernardo Cuenca-GrauBernardo Cuenca-Grau,  Ian HorrocksIan Horrocks
The Combined Approach to Query Answering Beyond the OWL 2 Profiles


Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca-Grau, Ian Horrocks
The Combined Approach to Query Answering Beyond the OWL 2 Profiles
In Qiang Yang and Michael Wooldridge, eds., Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina., 2971--2977, July 2015. AAAI Press
  • KurzfassungAbstract
    Combined approaches have become a successful technique for CQ answering over ontologies. Existing algorithms, however, are restricted to the logics underpinning the OWL 2 profiles. Our goal is to make combined approaches applicable to a wider range of ontologies. We focus on RSA: a class of Horn ontologies that extends the profiles while ensuring tractability of standard reasoning. We show that CQ answering over RSA ontologies without role composition is feasible in NP. Our reasoning procedure generalizes the combined approach for ELHO and DL-LiteR using an encoding of CQ answering into fact entailment w.r.t. a logic program with function symbols and stratified negation. Our results have significant practical implications since many out-of-profile Horn ontologies are RSA.
  • Forschungsgruppe:Research Group: Wissensbasierte Systeme
@inproceedings{FCSCH2015,
  author    = {Cristina Feier and David Carral and Giorgio Stefanoni and
               Bernardo Cuenca-Grau and Ian Horrocks},
  title     = {The Combined Approach to Query Answering Beyond the {OWL} 2
               Profiles},
  editor    = {Qiang Yang and Michael Wooldridge},
  booktitle = {Proceedings of the Twenty-Fourth International Joint Conference
               on Artificial Intelligence, {IJCAI} 2015, Buenos Aires,
               Argentina.},
  publisher = {AAAI Press},
  year      = {2015},
  month     = {July},
  pages     = {2971--2977}
}