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

Re: XML Schemas is Cool

• From: Stephen D Green <stephengreenubl@gmail.com>
• To: David Carlisle <davidc@nag.co.uk>
• Date: Tue, 5 Apr 2011 16:02:03 +0100

Yes, you need meta-meta-data so you can layer a truth table over your schema's
axioms and their inferences and the logical procedures you use to make those
inferences.
----
Stephen D Green



On 5 April 2011 15:51, David Carlisle <davidc@nag.co.uk> wrote:
> On 05/04/2011 12:49, Costello, Roger L. wrote:
>>
>> With a few simple axioms and rules, I can create new indisputable truths.
>
> No, you can generate consequences from the axioms. The truth or otherwise of
> those may still be disputed, depending on the truth or applicability of the
> axioms and rules used and the accuracy with which the rules are applied. If
> deciding the truth of a mathematical statement was an easy mechanical
> process, peer reviewing mathematical papers wouldn't be so hard.
>
> David
>
>
> ________________________________________________________________________
> The Numerical Algorithms Group Ltd is a company registered in England
> and Wales with company number 1249803. The registered office is:
> Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom.
>
> This e-mail has been scanned for all viruses by Star. The service is
> powered by MessageLabs.
> ________________________________________________________________________
>
> _______________________________________________________________________
>
> XML-DEV is a publicly archived, unmoderated list hosted by OASIS
> to support XML implementation and development. To minimize
> spam in the archives, you must subscribe before posting.
>
> [Un]Subscribe/change address: http://www.oasis-open.org/mlmanage/
> Or unsubscribe: xml-dev-unsubscribe@lists.xml.org
> subscribe: xml-dev-subscribe@lists.xml.org
> List archive: http://lists.xml.org/archives/xml-dev/
> List Guidelines: http://www.oasis-open.org/maillists/guidelines.php
>
>

• References:
  • XML Schemas is Cool
    • From: "Costello, Roger L." <costello@mitre.org>
  • Re: XML Schemas is Cool
    • From: David Carlisle <davidc@nag.co.uk>