Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):

T. Eiter, T. Krennwallner, P. Schneider, G. Xiao:
"Uniform Evaluation of Nonmonotonic DL-Programs";
Vortrag: 7th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2012), Kiel, Germany (eingeladen); 05.03.2012 - 09.03.2012; in: "7th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2012)", T. Lukasiewicz, A. Sali (Hrg.); Springer, 7153 (2012), S. 1 - 22.

Kurzfassung englisch:
Nonmonotonic description logic programs are a major formalism for a loose coupling of rules and ontologies, formalized in logic programming and description logics, respectively. While this approach is attractive for combining systems, the impedance mismatch between different reasoning engines and the API-style interfacing are an obstacle to efficient evaluation of dl-programs in general. Uniform evaluation circumvents this by transforming programs into a single formalism, which can be evaluated on a single reasoning engine. In this paper, we consider recent and ongoing work on this approach which uses relational first-order logic (and thus relational database engines) and datalog with negation as target formalisms. Experimental data show that significant performance gains are possible and suggest the potential of this approach.

Answer Set Programming, Nonmonotic Reasoning, Description Logics, Datalog

"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)

Zugeordnete Projekte:
Projektleitung Thomas Eiter:
Modulare HEX-Programme

Projektleitung Thomas Eiter:
ONOTRULE - ONTOlogies meet business RULEs

Projektleitung Thomas Eiter:
Schließen in hybriden Wissensbasen

Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.