[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message]

RE: Schematron Question: proper way to express the text versio

• From: <Peter.Kirkham@g...>
• To: <costello@m...>,<xml-dev@l...>
• Date: Mon, 12 Feb 2007 17:24:29 -0000

I'd use 'is':
"In the context of the Meeting element, I assert that the value of
EndTime is greater than the value of StartTime"
Since it implies that you are testing the instance - if you were
asserting "that the end time must be after the start time", then that
can be read that you are making a higher order assertion for all end
times, rather than verifying this instance, since although Schematron
isn't higher order, English can be. Though having briefly been a prolog
programmer I always get a bit weirded by the overloading of the word
'assert' to mean 'verify' (though asserting a falsehood in a context
will yeild a contradiction, so they're somewhat equivalent).


Pete


This email and any files attached are intended for the addressee and may contain information of a confidential nature. If you are not the intended recipient, be aware that this email was sent to you in error and you should not disclose, distribute, print, copy or make other use of this email or its attachments. Such actions, in fact, may be unlawful. In compliance with the various Regulations and Acts, General Dynamics United Kingdom Limited reserves the right to monitor (and examine for viruses) all emails and email attachments, both inbound and outbound. Email communications and their attachments may not be secure or error- or virus-free and the company does not accept liability or responsibility for such matters or the consequences thereof.  General Dynamics United Kingdom Limited, Registered Office: 100 New Bridge Street, London EC4V 6JA. Registered in England and Wales No: 1911653.

• References:
  • Schematron Question: proper way to express the text version of assertions?
    • From: "Costello, Roger L." <costello@m...>