Using TRIPLE for business agents on the Semantic Web

摘要

This paper presents TRIPLE [Sintek and Decker, First International Semantic Web Conference, 2002], a modular rule language for the Semantic Web [Weaving the Web, The Original Design and Ultimate Destiny of the World Wide Web by Its Inventor, 1999], and its usage for business agents. TRIPLE is based on Horn logic [Foundations of Logic Programming, 1984] and borrows many basic features from F-Logic [J. ACM 42 (1995) 741] but is especially designed for querying and transforming RDF models [http://www.w3.org/RDF/]. TRIPLE can be viewed as a successor of SiLRI (Simple Logic-based RDF Interpreter [QL’98—The Query Languages Workshop, 1998]). One of the most important differences to F-Logic and SiLRI is that TRIPLE does not have fixed semantics for object-oriented features like classes and inheritance. Its modular architecture allows such features to be easily defined for different object-oriented and other data models like UML, Topic Maps, or RDF Schema [http://www.w3.org/TR/2000/CR-rdf-schema-20000327/]. Description logics extensions of RDF (Schema) like OIL [http://www.ontoknowledge.org/oil/] and DAML+OIL [http://www.daml.org/2001/03/daml+oil-index.html] that cannot be fully handled by Horn logic are provided as modules that interact with a description logic classifier, e.g. FaCT [http://www.cs.man.ac.uk/~horrocks/FaCT/], resulting in a hybrid rule language. This paper sketches syntax and semantics of TRIPLE and shows how it can be used to declaratively specify the behavior of (business) agents.