Extending the Combined Approach Beyond Lightweight Description Logics

Cristina FeierCristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian HorrocksDavid Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks

Download

Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks
Extending the Combined Approach Beyond Lightweight Description Logics
In Diego Calvanese, Boris Konev, eds., Proceedings of the 28th International Workshop on Description Logics, Athens, Greece., volume 1350 of CEUR Workshop Proceedings, June 2015. CEUR-WS.org

Details
Bibtex

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 are significant in practice since many out-of-profile Horn ontologies are RSA.
Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

@inproceedings{FD2015,
  author    = {Cristina Feier and David Carral, Giorgio Stefanoni, Bernardo
               Cuenca Grau, Ian Horrocks},
  title     = {Extending the Combined Approach Beyond Lightweight Description
               Logics},
  editor    = {Diego Calvanese and Boris Konev},
  booktitle = {Proceedings of the 28th International Workshop on Description
               Logics, Athens, Greece.},
  series    = {CEUR Workshop Proceedings},
  volume    = {1350},
  publisher = {CEUR-WS.org},
  year      = {2015},
  month     = {June}
}