Talks and Poster Presentations (with Proceedings-Entry):
T. Eiter, G. Ianni, T. Krennwallner, R. Schindlauer:
"Exploiting Conjunctive Queries in Description Logic Programs.";
Talk: International Workshop on Description Logics (DL),
Bressanone, Italy;
2007-06-08
- 2007-06-10; 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 (ed.);
CEUR Workshop Proceedings,
250
(2007),
259
- 266.
English abstract:
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.
Related Projects:
Project Head Thomas Eiter:
Answer Set Programmierung für das Semant
Project Head Thomas Eiter:
Modulare HEX-Programme
Project Head Thomas Eiter:
REWERSE
Project Head Thomas Eiter:
Schließen in hybriden Wissensbasen
Created from the Publication Database of the Vienna University of Technology.