Re: Issue-114

On Jun 30, 2008, at 6:59 PM, Alan Ruttenberg wrote:

> After discussion with Michael, we agreed to narrow this issue as  
> follows: We propose that the only punning in OWL is against  
> individuals - that is, anything named in OWL can have an individual  
> with the same (punned name).
> This corresponds to what I believe is the commonly requested case,  
> and simplifies the current situation in which we have narrow  
> restrictions on certain forms of punning - no object/data property  
> punning, no class/datatype punning.

This is a very tendentious reading of "simplifies". It's just as  
sensible, if not more so, to say that this *complicates* the picture  
because it unmotivatedly adds restrictions that are not necessary by  
any standard. The simplest would be pun everything or pun nothing. In  
practice, punning more seems to be less of a burden than punning less.

Btw, I forget why class/datatype punning is gone. Presumably, if data/ 
object properties must be distinct, one can always disambiguate.


Received on Monday, 30 June 2008 21:32:12 UTC