Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
L. Bajraktari, M. Ortiz de la Fuente, M. Simkus:
"Compiling Model Representations for Querying Large ABoxes in Expressive DLs";
Vortrag: IJCAI - International Joint Conference on Artificial Intelligence,
Stockholm;
13.07.2018
- 19.07.2018; in: "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence",
(2018),
S. 1691
- 1698.
Kurzfassung englisch:
Answering ontology mediated queries (OMQs) has received much attention in the last decade, but the big gap between practicable algorithms for lightweight ontologies, that are supported by implemented reasoners, and purely theoretical algorithms for expressive ontologies that are not amenable to implementation, has only increased. Towards narrowing the gap, we propose an algorithm to compile a representation of sets of models for ALCHI ontologies, which is sufficient for answering any monotone OMQ. Rather than reasoning for specific ABoxes, or being fully data-independent, we use generic descriptions of families of ABoxes, given by what we call profiles. Our model compilation algorithm runs on TBoxes and sets of profiles, and supports the incremental addition of new profiles. To illustrate the potential of our approach for OMQ answering, we implement a rewriting into an extension of Datalog for OMQs comprising reachability queries, and provide some promising evaluation results.
Schlagworte:
Knowledge Representation and Reasoning: Description Logics and Ontologies, Logics for Knowledge Representation
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.24963/ijcai.2018/234
Elektronische Version der Publikation:
https://publik.tuwien.ac.at/files/publik_277054.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.