]]>This is a preliminary XML Schema draft for RuleML 0.8. It partially reflects and partially refines the earlier DTD for RuleML 0.8.
The newly started Schema Version 0.8 differs from the earlier DTD Version 0.8 in the more precise definition method. Of the many ways of using XML Schemas, we picked one that partially reflects the earlier DTD and partially refines it. We see some further places where the added expressive power of XML Schemas could help RuleML 0.8, in particular, XML Schema datatypes.
The DTD files of RuleML 0.8 will be complemented, step by step, by more precise, XMLized, albeit quite a bit longer, XSD (Schema) files. We start here with the 'monolith' version of Datalog RuleML, which does not require any DTD refinement (Appendix 1). This allows RuleML 0.8 users to put the DTD and Schema side by side, thus getting familiar with the new XML description method.
There are some open issues, in particular regarding XML Schema's extension mechanism. In reply to our request, Bob Schloss proposed How to derive a type (in an extended schema using <redefine>) effectively augmenting <choice> or <all> particles. Issues of an XML Schema for RuleML 0.8 were also discussed at an invited talk (ruleml-mht-talk) and paper (ruleml-mht.ps, ruleml-mht.pdf) on The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations at the 14th International Conference of Applications of Prolog, INAP2001, in Tokyo, Japan, in October 2001.
]]>
]]>
. . . For the full file see own.ruleml.
]]> Go to]]>
http://www.w3.org/2000/09/webdata/xsv
Paste in at
Address(es):
http://www.ruleml.org/0.8/exa/own.ruleml
> Select fallbacks for browsers ... (e.g.):
text/html (styled server-side: suits Netscape, older IE)
> Hit the 'Get Results' button
> You should essentially get:
* The schema(s) used for schema-validation had no errors
* No schema-validity problems were found in the target
]]>
Site Contact:
Harold Boley.
Page Version: 2001-10-30
"Practice what you preach": XML source of this homepage at xsd.xml (xsd.xml.txt);
transformed to HTML via the adaptation of Michael Sintek's SliML XSLT stylesheet at homepage.xsl (View | Page Source)