From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
Aus International Center for Computational Logic
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
Vortrag von David Carral
- Veranstaltungsort: APB 3027
- Beginn: 8. November 2018 um 13:00
- Ende: 8. November 2018 um 14:30
- Forschungsgruppe: Automatentheorie
- Forschungsgruppe: Wissensbasierte Systeme
- Event series: KBS Seminar
- iCal
Abstract: 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 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 non-transitive, complex roles---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 the our approach is more efficient than state-of-the-art DL reasoners when reasoning with data-intensive ontologies.
- Weitere Infos unter: https://iccl.inf.tu-dresden.de/web/Inproceedings3199/en
