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.

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.

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