Requirements for an Expressive Rule Language on the Semantic Web

This position paper is an attempt to enumerate and substantiate a number of key features, which, we believe, should be part of an expressive rule-based language to support the Semantic Web. This list of desiderata is based on our experience with the implementation and use of the FLORA-2 system [11, 31] as well as on our work on the languages for Semantic Web Services as part of the SWSL (http://www.daml.org/services/swsl) and WSMO (http://www.wsmo.org) projects.

[1]  I. V. Ramakrishnan,et al.  CTR-S: a logic for specifying contracts in semantic web services , 2004, WWW Alt. '04.

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

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

[4]  Jeffrey D. Ullman,et al.  Database theory—past and future , 1987, PODS.

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

[6]  Lawrence J. Henschen,et al.  Reasoning in Paraconsistent Logics , 1991, Automated Reasoning: Essays in Honor of Woody Bledsoe.

[7]  Michael Kifer,et al.  HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs , 1989, NACLP.

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

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

[10]  Nicolas Beldiceanu,et al.  Constraint Logic Programming , 1997 .

[11]  Konstantinos Sagonas,et al.  XSB as an efficient deductive database engine , 1994, SIGMOD '94.

[12]  Hisao Tamaki,et al.  OLD Resolution with Tabulation , 1986, ICLP.

[13]  Deborah L. McGuinness,et al.  Owl web ontology language guide , 2003 .

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

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

[16]  Catriel Beeri,et al.  On the power of magic , 1987, J. Log. Program..

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

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

[19]  V. S. Subrahmanian,et al.  Theory of Generalized Annotated Logic Programming and its Applications , 1992, J. Log. Program..

[20]  Michael Kifer,et al.  Database Programming in Transaction Logic , 1993, DBPL.

[21]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[22]  Michael Kifer,et al.  Transaction Logic Programming , 1993, ICLP.

[23]  Michael Kifer,et al.  A Logic for Programming Database Transactions , 1998, Logics for Databases and Information Systems.

[24]  Patrick J. Hayes,et al.  A Semantics for the Knowledge Interchange Format , 2001 .