FYI, Saxon reports this schema as valid.

Michael Kay
http://www.saxonica.com/
 

> -----Original Message-----
> From: xmlschema-dev-request@w... 
> [mailto:xmlschema-dev-request@w...] On Behalf Of Hirtle, David
> Sent: 12 January 2005 20:15
> To: xmlschema-dev@w...
> Subject: XSV results discrepancy (web vs installation)
> 
> 
> 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.)
> 
> No idea if this has anything to do with the October update.  (Similar
> documents weren't being reported as non-deterministic back in 
> August using
> the XSV web interface.)  Just thought I should report it.
> 
> David
> 
> ***
> 
> The basic content model in question is below, which, though 
> complicated,
> should be deterministic:
> 
> (
> 	( A, (B)*, ( (C)+, (B)* )? ) |
> 	(
> 	  ( 
>           ( (B)+, ( (C)+, (B)* )? ) |
> 	    ( (C)+, (B)* )
> 	  ), D
> 	)
>  )
> 
> 


From RPremraj@b... Sun Jan 16 04:47:39 2005
Received: from wiggum.w3.org ([