Re: doing unnecessary work to keep Jeremy happy

• From: Jeremy Carroll <jjc@hpl.hp.com>
• Date: Tue, 31 Dec 2002 20:16:01 +0100
• To: www-webont-wg@w3.org
• Message-Id: <200212312016.01881.jjc@hpl.hp.com>

> 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

Received on Tuesday, 31 December 2002 14:18:13 UTC