A Realistic Architecture for the Semantic Web

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 canno...

Full description

Saved in:
Bibliographic Details
Published inLecture notes in computer science pp. 17 - 29
Main Authors Kifer, Michael, de Bruijn, Jos, Boley, Harold, Fensel, Dieter
Format Book Chapter Conference Proceeding
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg 2005
Springer
SeriesLecture Notes in Computer Science
Subjects
Applied sciences
Atomic Formula
Computer science; control theory; systems
Description Logic
Exact sciences and technology
Logic Program
Logic Programming
Programming languages
Resource Description Framework
Software
Semantic web
Language class
Programming language
Ontology
Expert system
Web service
Markup language
Knowledge base
Logical programming
Interoperability
Online AccessGet full text

Cover

More Information
Summary: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.
ISBN:354029922X
9783540299226
ISSN:0302-9743
1611-3349
DOI:10.1007/11580072_3