From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
From International Center for Computational Logic
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
Talk by David Carral
- Location: APB 3027
- Start: 8. November 2018 at 1:00 pm
- End: 8. November 2018 at 2:30 pm
- Research group: Automata Theory
- Research group: Knowledge-Based Systems
- 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.
- More info at: https://iccl.inf.tu-dresden.de/web/Inproceedings3199/en