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: Sat, 05 Jan 2002 08:11:52 -0500
To: jos.deroo.jd@belgium.agfa.com
Cc: www-webont-wg@w3.org
Message-Id: <20020105081152W.pfps@research.bell-labs.com>
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 GMT

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