• From: rjelliffe@a...
• To: "Steven J. DeRose" <sderose@a...>
• Date: Wed, 25 Mar 2009 12:57:31 +1100 (EST)

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

• Follow-Ups:
  • Re: Conditional statements in DTD?
    • From: "C. M. Sperberg-McQueen" <cmsmcq@b...>

• References:
  • Conditional statements in DTD?
    • From: Graeme Kidd <coolkidd3@h...>
  • Re: Conditional statements in DTD?
    • From: "C. M. Sperberg-McQueen" <cmsmcq@a...>
  • Re: Conditional statements in DTD?
    • From: David Carlisle <davidc@n...>
  • Re: Conditional statements in DTD?
    • From: rjelliffe@a...
  • Re: Conditional statements in DTD?
    • From: "Steven J. DeRose" <sderose@a...>