TY - JOUR AU - Carral, David AU - González, Larry AU - Koopmann, Patrick PY - 2019/07/17 Y2 - 2024/03/28 TI - From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment JF - Proceedings of the AAAI Conference on Artificial Intelligence JA - AAAI VL - 33 IS - 01 SE - AAAI Technical Track: Knowledge Representation and Reasoning DO - 10.1609/aaai.v33i01.33012736 UR - https://ojs.aaai.org/index.php/AAAI/article/view/4124 SP - 2736-2743 AB - <p>Ontology-based access to large data-sets has recently gained a lot of attention. To access data efficiently, one approach is to rewrite the ontology into Datalog, and then use powerful Datalog engines to compute implicit entailments. Existing rewriting techniques support Description Logics (DLs) from <em>ELH</em> to Horn-<em>SHIQ</em>. We go one step further and present one such data-independent rewriting technique for Horn-<em>SRIQ</em><sub>⊓</sub>, the extension of Horn-<em>SHIQ</em> that supports role chain axioms, an expressive feature prominently used in many real-world ontologies. We evaluated our rewriting technique on a large known corpus of ontologies. Our experiments show that the resulting rewritings are of moderate size, and that our approach is more efficient than state-of-the-art DL reasoners when reasoning with data-intensive ontologies.</p> ER -