W3C home > Mailing lists > Public > xmlschema-dev@w3.org > April 2002

Re: Schema for schemas bugs?

From: Henry S. Thompson <ht@cogsci.ed.ac.uk>
Date: 15 Apr 2002 11:32:48 +0100
To: Eddie Robertsson <erobertsson@allette.com.au>
Cc: XSD <xmlschema-dev@w3.org>
Message-ID: <f5bwuv95k1b.fsf@cogsci.ed.ac.uk>
Eddie Robertsson <erobertsson@allette.com.au> writes:

> Since the schema at http://www.w3.org/2001/XMLSchema.xsd can't be used
> directly for validation

Why not?  It's a valid schema document (both XSV and SVC, the most
rigourous schema checker I'm aware of) are happy with it.


> complexRestrictionType AND simpleRestrictionType
> -----------------------------------------------------


> Most schema validators give me an error saying that the last derivation
> by restriction is not valid. However, it feels to me that this
> derivation step should be valid

I think so too -- what error messages are you getting?

> groupRef AND attributeGroupRef
> -----------------------------------


> The situation is similar to the previous, some validators give an error
> in the last derivation step saying that groupRef is not a valid
> restriction of realGroup.  Again I think that this restriction is fine.

I agree.

> all
> ---
> All validators I've tried with give me an error on this derivation
> chain. 

Including SVC and XSV?


> In this case I agree with the validators since in the "all" complexType
> restriction the group xs:allModel is referenced without being declared
> in the the base type.

But that's irrelevant to the validity of the restriction, which is
based on the components, and at the component level the group
reference is resolved to its referent.

  Henry S. Thompson, HCRC Language Technology Group, University of Edinburgh
          W3C Fellow 1999--2002, part-time member of W3C Team
     2 Buccleuch Place, Edinburgh EH8 9LW, SCOTLAND -- (44) 131 650-4440
	    Fax: (44) 131 650-4587, e-mail: ht@cogsci.ed.ac.uk
		     URL: http://www.ltg.ed.ac.uk/~ht/
 [mail really from me _always_ has this .sig -- mail without it is forged spam]
Received on Monday, 15 April 2002 06:40:04 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:55:56 UTC