T. Eiter, M. Fink, T. Krennwallner:
"Decomposition of Declarative Knowledge Bases with External Functions";
Vortrag: 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), Pasadena, California, U.S.A.; 11.07.2009 - 17.07.2009; in: "Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09)", C. Boutilier (Hrg.); AAAI Press, Menlo Park, California, U.S.A. (2009), S. 752 - 758.

We present a method to decompose a declarative knowledge base, given by a logic program under Answer Set Semantics with access to external sources. It overcomes the ineffectiveness of current methods due to a lack of structural information about these sources, viewed as
black boxes, by exploiting independency information in accesses to them. To this end, we develop a generic notion of domain independence that allows to restrict the evaluation domain and, as a consequence, to prune unnecessary dependency assumptions between atoms. This leads to increased decomposability; we demonstrate this by an evaluation method for HEX-programs based on program rewriting, which may yield large performance gains. While developed for a particular formalism, the notions and ideas of this paper might be adapted to related formalisms as well.

Knowledge Representation, Nonmonotonic Reasoning, Logic Programming

http://ijcai.org/papers09/Papers/IJCAI09-130.pdf

Projektleitung Thomas Eiter:
Modulare HEX-Programme

Projektleitung Thomas Eiter:
ONOTRULE - ONTOlogies meet business RULEs

Projektleitung Thomas Eiter:
Schließen in hybriden Wissensbasen

Projektleitung Michael Fink:
Inconsistency Management for Knowledge-Integration Systems