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.


Received on Monday, 30 June 2008 18:00:23 UTC