Re: doing unnecessary work to keep Jeremy happy

> 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