Hybrid reasoning with rules and ontologies

  • Authors:

  • Włodzimierz Drabent;Thomas Eiter;Giovambattista Ianni;Thomas Krennwallner;Thomas Lukasiewicz;Jan Małuszyński

  • Affiliations:

  • Institute of Computer Science, Polish Academy of Sciences, Warszawa, Poland and Department of Computer and Information Science, Linköping University, Linköping, Sweden;Institut für Informationssysteme, Technische Universität Wien, Vienna, Austria;Institut für Informationssysteme, Technische Universität Wien, Vienna, Austria and Dipartimento di Matematica, Università della Calabria, Rende, Italy;Institut für Informationssysteme, Technische Universität Wien, Vienna, Austria;Computing Laboratory, University of Oxford, Oxford, UK and Institut für Informationssysteme, Technische Universität Wien, Vienna, Austria;Department of Computer and Information Science, Linköping University, Linköping, Sweden

  • Venue:
  • Semantic techniques for the web
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

The purpose of this chapter is to report on work that has been done in the REWERSE project concerning hybrid reasoning with rules and ontologies. Two major streams of work have been pursued within REWERSE. They start from the predominant semantics of nonmonotonic rules in logic programming. The one stream was an extension of non-monotonic logic programs under answer set semantics, with query interfaces to external knowledge sources. The other stream, in the spirit of the AL-log approach of enhanced deductive databases, was an extension of Datalog (with the well-founded semantics, which is predominant in the database area). The former stream led to so-called nonmonotonic dl-programs and HEX-programs, and the latter stream to hybrid wellfounded semantics. Further variants and derivations of the formalisms (like a well-founded semantics for dl-programs, respecting probabilistic knowledge, priorities, etc.) have been conceived.