Combining nonmonotonic knowledge bases with external sources

  • Authors:

  • Thomas Eiter;Gerhard Brewka;Minh Dao-Tran;Michael Fink;Giovambattista Ianni;Thomas Krennwallner

  • Affiliations:

  • Institut für Informationssysteme, Technische Universität Wien, Vienna, Austria;Universität Leipzig, Leipzig, Germany;Institut für Informationssysteme, Technische Universität Wien, Vienna, Austria;Institut für Informationssysteme, Technische Universität Wien, Vienna, Austria;Dipartimento di Matematica, Universitá della Calabria, Rende, CS, Italy;Institut für Informationssysteme, Technische Universität Wien, Vienna, Austria

  • Venue:
  • FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.