[Bug 6561] Type Substitutable in Restriction

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





--- Comment #4 from C. M. Sperberg-McQueen <cmsmcq@blackmesatech.com>  2009-02-23 23:31:11 ---
In comment #3, Sandy Gao writes:

    So now we have a contradiction

Can you expound the contradiction a bit further?  I am not seeing
a clear contradiction here.

I think you are saying that we can construct a schema in which a
given element instance has more than one context-determined type
table.  If this is true, I think we do have a problem.  Is there
an example schema that illustrates the problem?  It's not clear
to me that such a schema can be constructed.


-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Monday, 23 February 2009 23:31:21 UTC