@inproceedings{89f9b51f4da84c57b71420ae90c56ec4,
title = "Next step for NoHR: OWL 2 QL",
abstract = "The Prot{\'e}g{\'e} plug-in NoHR allows the user to combine an OWL 2 EL ontology with a set of non-monotonic (logic programming) rules – suitable, e.g., to express defaults and exceptions – and query the combined knowledge base (KB). The formal approach realized in NoHR is polynomial (w.r.t. data complexity) and it has been shown that even very large health care ontologies, such as SNOMED CT, can be handled. As each of the tractable OWL profiles is motivated by different application cases, extending the tool to the other profiles is of particular interest, also because these preserve the polynomial data complexity of the combined formalism. Yet, a straightforward adaptation of the existing approach to OWL 2 QL turns out to not be viable. In this paper, we provide the non-trivial solution for the extension of NoHR to OWL 2 QL by directly translating the ontology into rules without any prior classification. We have implemented our approach and our evaluation shows encouraging results.",
keywords = "DL-LITE FAMILY, DESCRIPTION LOGICS, SYSTEM",
author = "Nuno Costa and Matthias Knorr and Jo{\~a}o Leite",
note = "Sem PDF.; 14th International Semantic Web Conference, ISWC 2015 ; Conference date: 11-10-2015 Through 15-10-2015",
year = "2015",
doi = "10.1007/978-3-319-25007-6_33",
language = "English",
isbn = "978-3-319-25006-9",
volume = "9366",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "569--586",
booktitle = "The Semantic Web – ISWC 2015 - 14th International Semantic Web Conference, Proceedings",
}