Thanks for updating the web-form.

Unfortunately, I seem to have discovered a new problem with both the
web-form and the Win32 installation.  The current XSV 2.8-1 does not accept
http://www.ruleml.org/0.87/exa/bindatalog.ruleml as valid, where the XML
Schema (http://www.ruleml.org/0.87/xsd/bindatalog.xsd) uses xs:redefine to
limit the occurrence range of a group from 1-to-many (i.e. minOccurs="1",
maxOccurs="unbounded") to exactly 2 (i.e. min/maxOccurs="2").

I think the spec is pretty clear that this is a valid restriction. Also, as
documented at http://www.ruleml.org/0.87/#Validation (from last summer), XSV
2.7-1 had no such complaints.  The newest Saxon-SA 8.3 also accepts
everything as valid.

Thanks for looking into this,

David

***

Schema representation errors

Detected during instance validation

http://www.ruleml.org/0.87/xsd/modules/atom_module.xsd:91:6: Invalid: 
    Content model of {http://www.ruleml.org/0.87/xsd}:Atom.extend not
actually a restriction of base group [original
{http://www.ruleml.org/0.87/xsd}:Atom.extend]: a $ element at node 1 of this
model can't be matched by any edge leaving node 1 of the base

...

http://www.ruleml.org/0.87/xsd/bindatalog.xsd:26:4: Invalid: redefined group
not a restriction of its original definition

-----Original Message-----
From: xmlschema-dev-request@w... [mailto:xmlschema-dev-request@w...] On
Behalf Of ht@i...
Sent: Wednesday, January 19, 2005 9:41 PM
To: Hirtle, David
Cc: xmlschema-dev@w...
Subject: Re: XSV results discrepancy (web vs installation)


"Hirtle, David" <David.Hirtle@n...> writes:

> Good day,
>
> Attempting to validate the document
> http://www.ruleml.org/0.88/exa/appendix2a.ruleml
>
> using the current XSV web interface results in the following schema error:
>
> http://www.ruleml.org/0.88/xsd/modules/atom_module.xsd:120:2: Invalid:
> non-deterministic content model for type Atom.type:
>
{http://www.ruleml.org/0.88/xsd}:slot/{http://www.ruleml.org/0.88/xsd}:slot
>
> However, the self-installing Win32 installation
> (ftp://ftp.cogsci.ed.ac.uk/pub/XSV/XSV28.EXE) reports no such
> non-determinism.  (See below for details.)

Fixed, sorry (web-form was stale).

ht
-- 
 Henry S. Thompson, HCRC Language Technology Group, University of Edinburgh
                     Half-time member of W3C Team
    2 Buccleuch Place, Edinburgh EH8 9LW, SCOTLAND -- (44) 131 650-4440
            Fax: (44) 131 650-4587, e-mail: ht@i...
                   URL: http://www.ltg.ed.ac.uk/~ht/
[mail really from me _always_ has this .sig -- mail without it is forged
spam]

From K.Buchcik@4... Thu Feb 17 19:40:59 2005
Received: from bart.w3.org ([128.30.52.40])