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.

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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:16 UTC