Re: doing unnecessary work to keep Jeremy happy

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