Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
T. Eiter, G. Ianni, T. Krennwallner, R. Schindlauer:
"Exploiting Conjunctive Queries in Description Logic Programs.";
Vortrag: International Workshop on Description Logics (DL),
Bressanone, Italy;
08.06.2007
- 10.06.2007; in: "Proceedings of the 2007 International Workshop on Description Logics (DL2007)",
D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, A. Turhan, S. Tessaris (Hrg.);
CEUR Workshop Proceedings,
250
(2007),
S. 259
- 266.
Kurzfassung englisch:
We present cq-programs, which enhance nonmonotonic description logics (dl-) programs by conjunctive queries (CQ) and union of conjunctive queries (UCQ) over Description Logics knowledge bases, as well as disjunctive rules. dl-programs had been proposed as a powerful formalism for integrating nonmonotonic logic programming and DL-engines on a clear semantic basis. The new cq-programs have two advantages: First, they offer increased expressivity by allowing general (U)CQs in the body. And second, this combination of rules and ontologies gives rise to strategies for optimizing calls to the DL-reasoner, by exploiting (U)CQ facilities of the DL-reasoner. To this end, we discuss some equivalences which can be exploited for program rewriting. Experimental results for a cq-program prototype show that this can lead to significant performance improvements.
Zugeordnete Projekte:
Projektleitung Thomas Eiter:
Answer Set Programmierung für das Semant
Projektleitung Thomas Eiter:
Modulare HEX-Programme
Projektleitung Thomas Eiter:
REWERSE
Projektleitung Thomas Eiter:
Schließen in hybriden Wissensbasen
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.