Re: [OWLWG-COMMENT] Higher order quantification in OWL-DL with bNodes? from Alan Ruttenberg on 2007-11-13 (public-owl-dev@w3.org from October to December 2007)

From: Alan Ruttenberg <alanruttenberg@gmail.com>
Date: Tue, 13 Nov 2007 01:19:44 -0500
To: Pat Hayes <phayes@ihmc.us>
Cc: "Michael Schneider" <schneid@fzi.de>, "Owl Dev" <public-owl-dev@w3.org>
Message-Id: <4EF1FC9A-C8C7-4ED0-8ED3-2089C1DDFFFC@gmail.com>

[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

Received on Tuesday, 13 November 2007 06:20:02 UTC