[Bug 5293] Subsumption

http://www.w3.org/Bugs/Public/show_bug.cgi?id=5293





------- Comment #2 from mike@saxonica.com  2007-11-29 09:51 -------
>If I understand you correctly, you are proposing something similar to restriction-as-intersection

Not quite. I wasn't proposing that users should be encouraged to think that its
perfectly OK to define (abc?) as a restriction of (ab), with the only adverse
consequence being that elements containing a c aren't valid. I was trying to
find wording that says this isn't a valid restriction, but not all conformant
processors will report the error.

Received on Thursday, 29 November 2007 09:51:12 UTC