Computing Datalog Rewritings Beyond Horn Ontologies

Grau, Bernardo Cuenca; Motik, Boris; Stoilos, Giorgos; Horrocks, Ian

Computing Datalog Rewritings Beyond Horn Ontologies

Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks

Download BibTeX Cite

Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence. Pages 832-837.

Abstract

Rewriting-based approaches for answering queries over an OWL 2 DL ontology have so far been developed mainly for Horn fragments of OWL 2 DL. In this paper, we study the possibilities of answering queries over non-Horn ontologies using datalog rewritings. We prove that this is impossible in general even for very simple ontology languages, and even if PTIME = NP. Furthermore, we present a resolution-based procedure for SHI ontologies that, in case it terminates, produces a datalog rewriting of the ontology. We also show that our procedure necessarily terminates on DL-LiteBoolH,+ ontologies — an extension of OWL 2 QL with transitive roles and Boolean connectives.

Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, and Ian Horrocks. 2013. Computing Datalog Rewritings Beyond Horn Ontologies. In Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI-13. IJCAI, 832–837. https://ijcai.org/proceedings/2013/129

@inproceedings{ijcai2013p129,
  title     = {Computing Datalog Rewritings Beyond Horn Ontologies},
  author    = {Grau, Bernardo Cuenca and Motik, Boris and Stoilos, Giorgos and Horrocks, Ian},
  booktitle = {Proceedings of the Twenty-Third International Joint Conference on
               Artificial Intelligence, {IJCAI-13}},
  publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
  editor    = {Francesca Rossi},
  pages     = {832--837},
  year      = {2013},
  month     = {8},
  url       = {https://ijcai.org/proceedings/2013/129},
}

TY  - CPAPER
TI  - Computing Datalog Rewritings Beyond Horn Ontologies
AU  - Grau, Bernardo Cuenca
AU  - Motik, Boris
AU  - Stoilos, Giorgos
AU  - Horrocks, Ian
T2  - Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI-13
PB  - AAAI Press / International Joint Conferences on Artificial Intelligence
PY  - 2013
SP  - 832
EP  - 837
UR  - https://ijcai.org/proceedings/2013/129
ER  -