W3C home > Mailing lists > Public > www-rdf-interest@w3.org > March 2001

(unknown charset) XML Schema: Formal Description is now published (fwd)

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
Message-ID: <Pine.GSO.4.21.0103201907510.9663-100000@mail.ilrt.bris.ac.uk>

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:51:48 GMT