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

[1]  Kenneth A. Ross,et al.  The well-founded semantics for general logic programs , 1991, JACM.

[2]  Dan Brickley,et al.  Resource Description Framework (RDF) Model and Syntax Specification , 2002 .

[3]  L. Stein,et al.  OWL Web Ontology Language - Reference , 2004 .

[4]  Adrian Walker,et al.  Towards a Theory of Declarative Knowledge , 1988, Foundations of Deductive Databases and Logic Programming..

[5]  Francesco M. Donini,et al.  AL-log: Integrating Datalog and Description Logics , 1998, Journal of Intelligent Information Systems.

[6]  J. W. Lloyd,et al.  Foundations of logic programming; (2nd extended ed.) , 1987 .

[7]  Dieter Fensel,et al.  Ontobroker: The Very High Idea , 1998, FLAIRS.

[8]  Stefan Decker,et al.  TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web , 2002, SEMWEB.

[9]  James A. Hendler,et al.  SHOE: A Blueprint for the Semantic Web , 2003, Spinning the Semantic Web.

[10]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[11]  Michael Kifer,et al.  Reasoning about Anonymous Resources and Meta Statements on the Semantic Web , 2003, J. Data Semant..

[12]  Michael Kifer,et al.  HILOG: A Foundation for Higher-Order Logic Programming , 1993, J. Log. Program..

[13]  Benjamin N. Grosof,et al.  A courteous compiler from generalized courteous logic programs to ordinary logic programs , 1999 .

[14]  Massimo Marchiori,et al.  Query + Metadata + Logic = Metalog , 1998, QL.

[15]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[16]  Harold Boley.  Knowledge bases in the world wide web : a challenge for logic programming (second, revised edition) , 1996 .

[17]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[18]  Michael J. Maher,et al.  Foundations of Deductive Databases and Logic Programming , 1988 .

[19]  David Maier,et al.  Computing with Logic: Logic Programming with Prolog , 1988 .

[20]  Michael Kifer,et al.  Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web , 2003, OTM.

[21]  Jack Minker,et al.  Logic and Data Bases , 1978, Springer US.

[22]  Gerd Wagner,et al.  Design rationale of RuleML - a markup language for the semantic web , 2001 .

[23]  Jack Minker.  Foundations of deductive databases and logic programming , 1988 .

[24]  James A. Hendler,et al.  Semantic Web Architecture: Stack or Two Towers? , 2005, PPSWR.

[25]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[26]  Yoav Shoham,et al.  Nonmonotonic Logics: Meaning and Utility , 1987, IJCAI.

[27]  Michael Kifer,et al.  Nonmonotonic Reasoning in FLORA-2 , 2005, LPNMR.

[28]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

[29]  ProgrammingHarold BoleyDFKI GmbH.  Knowledge Bases in the World Wide Web : A Challenge for Logic , 1997 .

[30]  Michael Kifer,et al.  Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases , 2002, OTM.

[31]  Stefan Decker,et al.  A Query and Inference Service for RDF , 2007 .