W3C home > Mailing lists > Public > public-owl-wg@w3.org > July 2008

Re: Issue-114

From: Bijan Parsia <bparsia@cs.man.ac.uk>
Date: Wed, 2 Jul 2008 14:25:27 +0100
Message-Id: <DCC1D751-9E2B-4DEF-8F09-2A672D6DEDB5@cs.man.ac.uk>
Cc: "'Rinke Hoekstra'" <hoekstra@uva.nl>, "'Michael Schneider'" <schneid@fzi.de>, "'OWL Working Group WG'" <public-owl-wg@w3.org>
To: "Boris Motik" <boris.motik@comlab.ox.ac.uk>

On 2 Jul 2008, at 14:17, Boris Motik wrote:

> Hello,
> That class/datatype punning must be disallowed, for the same  
> reasons why we disallow data and object property punning. For example,
> if you see ComplementOf( C ), you don't know whether C is a class  
> or a datatype.

Ah,yes, thanks. I forgot. I was only thinking about it in restrictions.

> The specification as it is contains the least necessary set of  
> restrictions that we need to make everything work, and everything
> else can be punned without problem. I really there is notming more  
> to say about this topic.

I agree.

Received on Wednesday, 2 July 2008 13:33:13 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:05 UTC