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

Re: Peter's example

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Fri, 04 Jan 2002 13:28:10 -0500
To: jos.deroo.jd@belgium.agfa.com
Cc: www-webont-wg@w3.org
Message-Id: <20020104132810K.pfps@research.bell-labs.com>
A couple of points with respect to the owl rules and euler.

1/ Where is the formal specification of what Euler is doing?  I'm trying to
   figure it out by example, but a formal spec is needed.

2/ The rules in owl-rules.n3 don't correspond to the model theory for
   DAML+OIL or to the axiomatization either, as they generate extra lists
   and classes.  (This is fine, of course, if you are not trying to capture
   either of these.)

peter
Received on Friday, 4 January 2002 13:29:05 GMT

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