- From: Hirtle, David <David.Hirtle@nrc-cnrc.gc.ca>
- Date: Wed, 12 Jan 2005 15:14:47 -0500
- To: xmlschema-dev@w3.org
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
)
)
Received on Wednesday, 12 January 2005 20:15:21 UTC