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
completeness).
 
- 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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:48 GMT