T. Eiter, T. Krennwallner, P. Schneider, G. Xiao:
"Uniform Evaluation of Nonmonotonic DL-Programs";
Talk: 7th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2012), Kiel, Germany (invited); 2012-03-05 - 2012-03-09; in: "7th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2012)", T. Lukasiewicz, A. Sali (ed.); Springer, 7153 (2012), 1 - 22.

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

http://dx.doi.org/10.1007/978-3-642-28472-4_1

Project Head Thomas Eiter:
Modulare HEX-Programme

Project Head Thomas Eiter:
ONOTRULE - ONTOlogies meet business RULEs

Project Head Thomas Eiter:
Schließen in hybriden Wissensbasen