Re: Peter's example

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