[Back]

T. Eiter, G. Brewka, M. Dao-Tran, M. Fink, G. Ianni, T. Krennwallner:
"Combining Nonmonotonic Knowledge Bases with External Sources";
Talk: 7th International Symposium on Frontiers of Combining Systems (FroCoS 2009), Trento, Italy (invited); 2009-09-16 - 2009-09-18; in: "7th International Symposium on Frontiers of Combining Systems (FroCos 2009)", S. Ghilardi, R. Sebastiani (ed.); Springer, 5749 (2009), ISBN: 978-3-642-04221-8; 18 - 42.

The developments in information technology during the last decade have been rapidly changing the possibilities for data and knowledge access. To respect this, several declarative knowledge representation formalisms have been extended with the capability to access data and knowledge sources that are external to a knowledge base. This article reviews some of these formalisms that are centered around Answer Set Programming, viz. HEX-programs, modular logic programs, and multi-context systems, which were developed by the KBS group of the Vienna University of Technology in cooperation with external colleagues. These formalisms were designed with different principles and four different settings, and thus have different properties and features; however, as argued, they are not unrelated. Furthermore, they provide a basis for advanced knowledge-based information systems, which are targeted in ongoing research projects.

Answer Set Programming, Hybrid Knowledge Base

http://dx.doi.org/10.1007/978-3-642-04222-5_2

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

Project Head Michael Fink:
Inconsistency Management for Knowledge-Integration Systems