[Bug 11219] Editorial revision of Element Locally Valid (Element)

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

C. M. Sperberg-McQueen <cmsmcq@blackmesatech.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED

--- Comment #1 from C. M. Sperberg-McQueen <cmsmcq@blackmesatech.com> 2010-11-25 17:54:33 UTC ---
Changes 1) and 2) have been made and will show up the next time a
status-quo document is generated.  For change 3), I am inclined to
suggest the following rewording, on which feedback would be welcome:

    If an element has an xsi:type attribute, the type definition
    indicated by that attribute normally takes precedence over the
    ·selected type definition· which would otherwise govern the
    element. If for some reason this does not happen (for example, if
    the xsi:type value does not ·resolve· to a known type definition,
    or if the type definition fails to ·override· the ·selected type
    definition·), then the element is invalid, since it has failed to
    satisfy clause clause 4. In this case, the ·governing type
    definition· of the element is the ·selected type definition· of
    its ·governing element declaration·, and the element is validated
    against that type as described in clause clause 5. The local
    validity of the element with respect to the ·governing type
    definition· is recorded in the [local type validity] property. The
    use of the ·selected type definition· when the ·instance-specified
    type definition· cannot be used allows useful validation to
    proceed in some cases even when the schema is incomplete.

If I hear nothing suggesting other wording or pointing to problems
with this wording, I'll integrate it into the status-quo document, too.

-- 
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 Thursday, 25 November 2010 17:54:35 UTC