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

Re: doing unnecessary work to keep Jeremy happy

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Tue, 31 Dec 2002 15:04:28 -0500 (EST)
Message-Id: <20021231.150428.98310273.pfps@research.bell-labs.com>
To: jjc@hpl.hp.com
Cc: www-webont-wg@w3.org

From: Jeremy Carroll <jjc@hpl.hp.com>
Subject: Re: doing unnecessary work to keep Jeremy happy
Date: Tue, 31 Dec 2002 20:16:01 +0100

> 
> 
> > In particular
> >         SubClassOf(x y)
> > could have been used to generate smaller sets of triples than were produced
> > by 
> >        Class(x partial y)
> 
> I might have misunderstood but I thought that using subclassof in owl lite 
> required the two expressions to be named, whereas in the class(x partial y) 
> the restrictions can be unnamed ....
> 
> I think I had missed that unnamed restrictions are permitted as class 
> expressions in owl lite.
> Sorry if I caused unnecessary work.
> 
> Jeremy

Probably aren't, in OWL Lite.  I was thinking about OWL DL.

So I guess that the changes were necessary for OWL Lite.  

peter
Received on Tuesday, 31 December 2002 15:04:38 GMT

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