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

Re: OWL 2 profiles

From: Bijan Parsia <bparsia@cs.man.ac.uk>
Date: Wed, 24 Nov 2010 02:34:07 +0000
Cc: Cristian Cocos <cristi@ieee.org>, public-owl-dev@w3.org
Message-Id: <7A83CF2C-BE7E-4CC5-9B2E-887D0FE481DB@cs.man.ac.uk>
To: Bijan Parsia <bparsia@cs.man.ac.uk>
On 24 Nov 2010, at 02:06, Bijan Parsia wrote:
[snip]
> 3) OWL Full has general syntactic reflection, that is, it doesn't just pun names, but it puns arbitrary (e.g., class) expressions. This can be very dangerous. That is, not only can "C" be both a class and an individual, but so can "C & D".
[snip]
Off hand, I don't know whether this robustly breaks decidability when added to SHROIQ (by itself).

Just to be clear.

Cheers,
Bijan.
Received on Wednesday, 24 November 2010 02:34:37 GMT

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