RE: logic error in iso draft?

    Hmm. I am not sure, but I do take your point the fact that 
    no contexts were matched may be of interest to users 
    sometimes, especially when flying solo.
    
    I would be very reluctant to call this "invalid" because 
    Schematron is positioned to work as an ancilliary to 
    grammar-based schema languages (DTD, RELAX, XS, etc.): so 
    it is quite possible that a document may not have elements 
    that the Schematron schema covers.

Rather than invalid, how about a very clear warning that this could
happen (under such and such a circumstance), then quote
<pattern id="roots">
  <title>Allowed Roots</title>
  <rule context="/*">
    <assert test="/a or /b or /c or /d">
       Only the following elements are allowed at the top-level: a, b, c, d
    </assert>
  </rule>
</pattern>

as the way to catch it
(though your example of a mistyped ns wouldn't be caught)

regards DaveP

-- 
DISCLAIMER: 

NOTICE: The information contained in this email and any attachments is 
confidential and may be privileged. If you are not the intended 
recipient you should not use, disclose, distribute or copy any of the 
content of it or of any attachment; you are requested to notify the 
sender immediately of your receipt of the email and then to delete it 
and any attachments from your system. 

RNIB endeavours to ensure that emails and any attachments generated by 
its staff are free from viruses or other contaminants. However, it 
cannot accept any responsibility for any  such which are transmitted.
We therefore recommend you scan all attachments. 

Please note that the statements and views expressed in this email and 
any attachments are those of the author and do not necessarily represent 
those of RNIB. 

RNIB Registered Charity Number: 226227 

Website: http://www.rnib.org.uk 


-------------------------------------------------------
This SF.Net email is sponsored by BEA Weblogic Workshop
FREE Java Enterprise J2EE developer tools!
Get your free copy of BEA WebLogic Workshop 8.1 today.
http://ads.osdn.com/?ad_id=4721&alloc_id=10040&op=click