[Zurück]

S. Ahmetaj, M. Ortiz de la Fuente, M. Simkus:
"Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics";
Vortrag: 29th International Workshop on Description Logics (DL 2016), Cape Town, South Africa; 22.04.2016 - 25.04.2016; in: "Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016.", M. Lenzerini, R. Penaloza (Hrg.); CEUR Workshop Proceedings / CEUR-WS.org, 1577 (2016), Paper-Nr. 26, 13 S.

Rewriting ontology mediated queries (OMQs) into traditional query languages like FO-queries and Datalog is central for understanding their relative expressiveness, and plays a crucial role in the ongoing efforts to develop OMQ answering tools by reusing existing database technologies.
However, the vast majority of works focus on Horn ontologies, and for OMQs where the ontologies are written in extensions of ALC, only a couple of exponential rewritings into disjunctive Datalog are known.
In this paper we propose a translation of instance queries mediated by ontologies in the expressive DL ALCHI, into polynomial-sized disjunctive Datalog programs. The translation is based on a simple game-like algorithm, and can be extended to accommodate nominals. We can also rewrite OMQs with closed-predicates into Datalog programs with (limited) negation. Closed predicates are useful for combining complete and incomplete information, but make OMQs non-monotonic and thus not rewritable into positive disjunctive Datalog.

http://ceur-ws.org/Vol-1577/paper_26.pdf

Projektleitung M.Magdalena Ortiz de la Fuente:
Rekursive Abfrage über semantisch angereicherte Datenbestände

Projektleitung Reinhard Pichler:
Heterogene Information Integration