Abstract
Shared declarative aspects of Prolog and XML are examined. An XML version of pure Prolog is shown to be at the center of the Rule Markup Language. The RuleML data model uses Order-Labeled trees, combining the RDF and XML models. As part of RuleML's hierarchy of sublanguages, the RuleML-Prolog DTD is developed into an XML Schema. XSLT (XSL Transformations) is employed for practical XML-to- XML and XML-to-(X)HTML transformation of Prolog on the Web.
I would like to thank Oskar Bartenstein, Osamu Yoshie, Ulrich Geske, and the program committee of INAP2001 for inviting me to give this presentation. Moreover, thanks go to this volume's referees for valuable suggestions. I also want to express my gratitude to Said Tabet, Benjamin Grosof, Gerd Wagner, and all other colleagues from the Rule Markup Initiative for joining their forces on this Web standards effort. This research was funded by the EU in the IST project Clockwork.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Tim Berners-Lee, James Hendler, and Ora Lassila. The Semantic Web: A New Form of Web Content that is Meaningful to Computers Will Unleash a Revolution of New Possibilities. Scientific American, 284(5):34–43, May 2001.
Harold Boley. A Web Data Model Unifying XML and RDF. Draft http://www.dfki.de/~boley/xmlrdf.html, September 2001.
Harold Boley. Cross-Fertilizing Logic Programming and XML for Knowledge Representation. In Rolf Grütter, editor, Knowledge Media in Healthcare: Opportunities and Challenges, pages 38–56. Idea Group Publishing, Hershey, London, Melbourne, Singapore, Beijing, 2002.
Harold Boley, Said Tabet, and Gerd Wagner. Design Rationale of RuleML: A Markup Language for Semantic Web Rules. In Proc. Semantic Web Working Symposium (SWWS’01), pages 381–401. Stanford University, July/August 2001.
James Clark. XSL Transformations (XSLT) Version 1.0. Recommendation REC-xslt-19991116, W3C, November 1999.
David C. Fallside. XML Schema Part 0: Primer. Recommendation RECxmlschema-0-20010502, W3C, May 2001.
Michael Kifer and Georg Lausen. F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme. In James Clifford, Bruce G. Lindsay, and David Maier, editors, Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, pages 134–146, Portland, Oregon, 31 May-2 June 1989.
Ora Lassila and Ralph R. Swick. Resource Description Framework (RDF) Model and Syntax Specification. Recommendation REC-rdf-syntax-19990222, W3C, February 1999.
Peter F. Patel-Schneider and Jérôme Siméon. Building the Semantic Web on XML. In Ian Horrocks and James A. Hendler, editors, The Semantic Web-ISWC 2002, First International Semantic Web Conference, pages 147–161, June 2002.
Michael Sintek and Stefan Decker. TRIPLE—An RDF Query, Inference, and Transformation Language. In Dietmar Seipel, editor, Deductive Databases and Knowledge Management (DDLP’2001), October 2001. Workshop in the Stream “Content Management” of INAP2001.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Boley, H. (2003). The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations. In: Bartenstein, O., Geske, U., Hannebauer, M., Yoshie, O. (eds) Web Knowledge Management and Decision Support. INAP 2001. Lecture Notes in Computer Science(), vol 2543. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36524-9_2
Download citation
DOI: https://doi.org/10.1007/3-540-36524-9_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00680-0
Online ISBN: 978-3-540-36524-2
eBook Packages: Springer Book Archive