- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Sat, 05 Jan 2002 08:11:52 -0500
- To: jos.deroo.jd@belgium.agfa.com
- Cc: www-webont-wg@w3.org
From: jos.deroo.jd@belgium.agfa.com Subject: Re: Peter's example Date: Sat, 5 Jan 2002 00:10:21 +0100 > > 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. > > that is indeed very needed, but for the moment we don't have one... The reason I ask is that you have what appear to be constructors in the right hand side of rule, and I was wondering what their meaning was. peter
Received on Saturday, 5 January 2002 08:12:00 UTC