- From: Bijan Parsia <bparsia@cs.man.ac.uk>
- Date: Wed, 24 Nov 2010 02:34:07 +0000
- To: Bijan Parsia <bparsia@cs.man.ac.uk>
- Cc: Cristian Cocos <cristi@ieee.org>, public-owl-dev@w3.org
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 UTC