W3C home > Mailing lists > Public > public-owl-dev@w3.org > October to December 2007

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

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

[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 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:55 GMT