Re: Peter's example from Peter F. Patel-Schneider on 2002-01-04 (www-webont-wg@w3.org from January 2002)

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 UTC