- From: (unknown charset) Dan Brickley <Daniel.Brickley@bristol.ac.uk>
- Date: Tue, 20 Mar 2001 19:09:00 +0000 (GMT)
- To: (unknown charset) www-rdf-interest@w3.org, www-rdf-logic@w3.org
Excuse the cross-post; this is both interesting and important... --danbri ---------- Forwarded message ---------- Date: Tue, 20 Mar 2001 14:06:55 -0500 From: Jonathan Robie <Jonathan.Robie@SoftwareAG-USA.com> To: www-ql@w3.org Subject: XML Schema: Formal Description is now published Resent-Date: Tue, 20 Mar 2001 14:05:38 -0500 (EST) Resent-From: www-ql@w3.org The document formerly known as MSL has now been published publicly as a W3C Working Draft: http://www.w3.org/TR/xmlschema-formal/ This formalization is a formal, declarative system for describing and naming XML Schema information, specifying XML instance type information, and validating instances against schemas. The goals of the formalization are to: · Provide a semantic framework for software systems that use the W3C XML Schema specification, such as the W3C XML Query Algebra. · Specify names for all components of an XML Schema, so that they can be uniquely identified by URIs. Such unique identifiers may be useful to XML Query, RDF, and topic maps, among others. · Formally define validation at a declarative level. · Define the mapping from the current XML Schema syntax onto the structures described here, as well as the mapping between the XML Schema component mode and our component model. Jonathan
Received on Tuesday, 20 March 2001 14:09:46 UTC