A realistic architecture for the semantic web

  • Authors:

  • Michael Kifer;Jos de Bruijn;Harold Boley;Dieter Fensel

  • Affiliations:

  • Department of Computer Science, State University of New York at Stony Brook, Stony Brook, NY;Digital Enterprise Research Institute (DERI), University of Innsbruck, Austria, National University of Ireland, Galway;Institute for Information Technology – e-Business, National Research Council of Canada, Fredericton, NB, Canada;Digital Enterprise Research Institute (DERI), University of Innsbruck, Austria, National University of Ireland, Galway

  • Venue:
  • RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we argue that a realistic architecture for the Semantic Web must be based on multiple independent, but interoperable, stacks of languages. In particular, we argue that there is a very important class of rule-based languages, with over thirty years of history and experience, which cannot be layered on top of OWL and must be included in the Semantic Web architecture alongside with the stack of OWL-based languages. The class of languages we are after includes rules in the Logic Programming style, which support default negation. We briefly survey the logical foundations of these languages and then discuss an interoperability framework in which such languages can co-exist with OWL and its extensions.