On integrating rules into the Semantic Web

Abstract The Semantic Web effort of W3C aims at enhancing the web with reasoning capabilities. The approach is to design several tightly related (“layered”) languages for description of web resources and reasoning about them. This note briefly surveys the roles of the languages proposed so far: RDF, RDF Schema and the Web Ontology Language OWL, and refers to their known relations to the Description Logics. The next, not yet existing, layer of the Semantic Web, should be a rule layer. Several rule languages may be needed, depending on the applications. Horn logic is often considered a starting point for further extensions. Thus, for adding rules on top of the web ontology layer a relevant question is how to combine Horn logic with Description Logics. Some known approaches to this problem are briefly summarized.

[1]  James A. Hendler,et al.  The Semantic Web — ISWC 2002 , 2002, Lecture Notes in Computer Science.

[2]  Peter F. Patel-Schneider,et al.  Layering the Semantic Web: Problems and Directions , 2002, SEMWEB.

[3]  Dan Brickley,et al.  Rdf vocabulary description language 1.0 : Rdf schema , 2004 .

[4]  Gerd Wagner,et al.  Where Are the Rules , 2003 .

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

[6]  Alon Y. Halevy,et al.  Combining Horn Rules and Description Logics in CARIN , 1998, Artif. Intell..

[7]  Alon Y. Halevy,et al.  CARIN: A Representation Language Combining Horn Rules and Description Logics , 1996, ECAI.

[8]  Michael Kifer,et al.  FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine , 2000, Computational Logic.

[9]  C. M. Sperberg-McQueen,et al.  Extensible Markup Language (XML) , 1997, World Wide Web J..

[10]  Ulf Nilsson,et al.  Logic, programming and Prolog , 1990 .

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

[12]  Pierre Deransart,et al.  Proof Methods of Declarative Properties of Definite Programs , 1993, Theor. Comput. Sci..

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

[14]  Vassilis Christophides,et al.  Benchmarking RDF Schemas for the Semantic Web , 2002, SEMWEB.

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