Re: [xml-dev] Conditional statements in DTD?

[rjelliffe@allette.com.au]

Steve DeRose
>
> To which I can only reply:
>
>       529

Indeed. I think I mentioned that Schematron tests can be lossy: the
assertion *text* would state the normative constraint in plain language,
the assert *test* will implement the test to whatever extent practical.*

So a statement like "you cannot test for prime in XPath1" has an implicit
"with no false positives" which is true; but for Schematron the relevant
issue is "with no false negatives" which is certainly untrue for XPath 1.

Cheers
Rick Jelliffe

*
http://www.oreillynet.com/xml/blog/2007/03/expressing_untested_and_untest.html