W3C home > Mailing lists > Public > www-webont-wg@w3.org > March 2002

SEM: Formalization exercise

From: Smith, Michael K <michael.smith@eds.com>
Date: Tue, 26 Mar 2002 13:03:06 -0600
Message-ID: <B8E84F4D9F65D411803500508BE322140CB0CB30@USPLM207>
To: www-webont-wg@w3.org
As an exercise I formalized one of Peter's earlier versions of OWL in the
ACL2 logic.  Mostly this was for my own edification.  But a document
describing the result is attached.
One result of this exercise is that we can be assured that there exists an
interpretation (a set of values for EXT, CEXT, etc.) that satisfies the
axioms as stated in the original document (subject to the notes on
- Mike
Michael K. Smith
EDS Austin Innovation Centre
98 San Jacinto, #500
Austin, TX 78701
512 404-6683


Received on Tuesday, 26 March 2002 14:03:19 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:28 UTC