Abstract
This paper presents TRIPLE, a layered and modular rule language for the Semantic Web [1]. TRIPLE is based on Horn logic and borrows many basic features from F-Logic [11] but is especially designed for querying and transforming RDF models [20].
TRIPLE can be viewed as a successor of SiLRI (Simple Logic-based RDF Interpreter [5]). One of the most important differences to F-Logic and SiLRI is that TRIPLE does not have a fixed semantics for object-oriented features like classes and inheritance. Its layered architecture allows such features to be easily defined for different object-oriented and other data models like UML, Topic Maps, or RDF Schema [19]. Description logics extensions of RDF (Schema) like OIL [17] and DAML+OIL [3] that cannot be fully handled by Horn logic are provided as modules that interact with a description logic classifier, e.g. FaCT [9], resulting in a hybrid rule language. This paper sketches syntax and semantics of TRIPLE.
This work was supported by the German Ministry for Education and Research, bmb+f (Grant: 01 IW 901, Project FRODO: A Framework for Distributed Organizational Memories) and the DARPA DAML Program, Project OntoAgents.
Chapter PDF
Similar content being viewed by others
References
Tim Berners-Lee. Weaving the Web: The Original Design and Ultimate Destiny of the World Wide Web by Its Inventor. Harper San Francisco, September 1999.
Harold Boley, Said Tabet, and Gerd Wagner. Design Rationale of RuleML: A Markup Language for Semantic Web Rules. In International Semantic Web Working Symposium (SWWS), 2001.
DAML Joint Committee. DAML+OIL, 2001. URL: http://www.daml.org/2001/03/daml+oil-index.html.
DCMI. Dublin Core Metadata Initiative, 2001. URL: http://purl.org/dc/.
Stefan Decker, Dan Brickley, Janne Saarela, and Jürgen Angele. A query and inference service for RDF. In QL’98 — The Query Languages Workshop, Boston, USA, 1998. WorldWide Web Consortium (W3C).
Stefan Decker, Michael Erdmann, Dieter Fensel, and Rudi Studer. Ontobroker: Ontology Based Access to Distributed and Semi-Structured Information. In R. Meersman et al., editor, Semantic Issues in Multimedia Systems. Kluwer Academic Publisher, 1999.
Dieter Fensel, Stefan Decker, Michael Erdmann, and Rudi Studer. Ontobroker: The Very High Idea. In Proc. 11th Int. Florida AI Research Symposium (FLAIRS-98), May 1998.
Patrick Hayes. RDF model theory (W3C working draft). Technical report, W3C, 2002.
Ian Horrocks. The FaCT System, 2001. URL: http://www.cs.man.ac.uk/~horrocks/FaCT/.
G. Karvounarakis, V. Christophides, D. Plexousakis, and S. Alexaki. Querying CommunityWeb portals, 2001.
M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and frame-based languages. Journal of the ACM, 42:741–843, July 1995.
Martin S. Lacher and Stefan Decker. RDF, Topic Maps, and the Semantic Web. Markup Languages: Theory and Practice, 2002. Accepted for publication.
Alon Y. Levy and Marie-Christine Rousset. CARIN: A Representation Language Combining Horn Rules and Description Logics. In 12th European Conference on Artificial Intelligence, 1996.
J.W. Lloyd and R.W. Topor. Making Prolog more Expressive. Journal of Logic Programming, 3:225–240, 1984.
B. Ludäscher, Guizhen Yang, and Michael Kifer. FLORA: The secret of object-oriented logic programming. Technical report, SUNY at Stony Brook, 1999.
Sean Luke, Lee Spector, David Rager, and Jim Hendler. Ontology-based Web Agents. In Proceedings of First International Conference on Autonomous Agents (AA-97), 1997.
OIL. Ontology Inference Layer, 2001. URL: http://www.ontoknowledge.org/oil/.
SUNY. The XSB Programming System. Dept. of Computer Science, SUNY at Stony Brook, 2000. URL: http://www.cs.sunysb.edu/~sbprolog/xsb-page.html.
W3C. Resource Description Framework (RDF) Schema Specification 1.0, 2001. URL: http://www.w3.org/TR/2000/CR-rdf-schema-20000327/.
W3C. Semantic Web Activity: Resource Description Framework (RDF), 2001. URL: http://www.w3.org/RDF/.
Gio Wiederhold, editor. Intelligent Integration of Information. Kluwer Academic Publishers, July 1996.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sintek, M., Decker, S. (2002). TRIPLE—A Query, Inference, and Transformation Language for the Semantic Web. In: Horrocks, I., Hendler, J. (eds) The Semantic Web — ISWC 2002. ISWC 2002. Lecture Notes in Computer Science, vol 2342. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48005-6_28
Download citation
DOI: https://doi.org/10.1007/3-540-48005-6_28
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43760-4
Online ISBN: 978-3-540-48005-1
eBook Packages: Springer Book Archive