Using TRIPLE for business agents on the Semantic Web

Berners-Lee, 1999 DAML Joint Committee, DAML+OIL, 2001. URL: http://www.daml.org/2001/03/daml+oil-index.html. Decker, 1998, A query and inference service for RDF Decker, 1999, Ontobroker: ontology based access to distributed and semi-structured information Fensel, 1998, Ontobroker: the very high idea I. Horrocks, The FaCT System, 2001. URL: http://www.cs.man.ac.uk/∼horrocks/FaCT/. Karvounarakis, 2001 Kifer, 1995, Logical foundations of object-oriented and frame-based languages, J. ACM, 42, 741, 10.1145/210332.210335 M.S. Lacher, S. Decker, RDF, Topic Maps, and the Semantic Web. Markup Languages: Theory and Practice, 2002, in press. Levy, 1996, CARIN: a representation language combining Horn rules and description logics Lloyd, 1984 Lloyd, 1984, Making Prolog more expressive, J. Logic Program., 3, 225, 10.1016/0743-1066(84)90011-6 Ludäscher, 1999, FLORA: the secret of object-oriented logic programming Luke, 1997, Ontology-based web agents OIL, Ontology Inference Layer, 2001. URL: http://www.ontoknowledge.org/oil/. Sintek, 2002, TRIPLE—A query, inference, and transformation language for the semantic web 2000 2001 2001 Wagner, 1998 1996