Re: [OWLWG-COMMENT] Higher order quantification in OWL-DL with bNodes?

[not cc]

On Nov 12, 2007, at 10:46 AM, Pat Hayes wrote:

> Notice Im not identifying classes with sets: this identification is  
> unique to OWL-DL and is not done in RDFS or OWL-Full or Common Logic.

In what way does OWL-DL identify classes with sets? One can see that  
it does not in that annotation properties are not merged if two  
classes are determined to be equivalentClass.

-Alan