- Titel
- From Horn-SRIQ to Datalog
- Untertitel
- A Data-Independent Transformation that Preserves Assertion Entailment
- Extended Version
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-796129
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 18-14
- Erstveröffentlichung
- 2018
- DOI
- https://doi.org/10.25368/2022.249
- Abstract (EN)
- Ontology-based access to large data-sets has recently gained a lot of attention. To access data e_ciently, 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 ELH to Horn-SHIQ. We go one step further and present one such data-independent rewriting technique for Horn-SRIQ⊓, the extension of Horn-SHIQ 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.
- This is an extended version of the article to appear in the proceedings of AAAI 2019.
- Freie Schlagwörter (DE)
- SHIQ-Konzept, Beschreibungslogik, Ontologie, Ontologie-basiertes Datenzugriffssystem
- Freie Schlagwörter (EN)
- SHIQ-concept, description logic, ontology, ontology-based data access
- Klassifikation (DDC)
- 004
- Klassifikation (RVK)
- ST 136
- Publizierende Institution
- Technische Universität Dresden, Dresden
- Version / Begutachtungsstatus
- angenommene Version / Postprint / Autorenversion
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa2-796129
- Veröffentlichungsdatum Qucosa
- 20.06.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0