feedback on Easy keys and universal property

Forwarded message 1

• From: Alan Wu <alan.wu@oracle.com>
• Date: Thu, 24 Apr 2008 16:54:39 -0400
• Subject: Re: Easy keys and universal property - feedback needed
• To: Alan Ruttenberg <alanruttenberg@gmail.com>
• CC: Ian Horrocks <ian.horrocks@comlab.ox.ac.uk>
• Message-ID: <4810F38F.3030903@oracle.com>

Alan,

Easy keys seems to be very practical. Oracle is likely to implement this 
feature. Don't take it as a promise though :)

Regarding "easiest keys", the counterintuitive case is valid. However, 
is that a common case? ;)  Do we truly expect
many users define things  like that?

Regarding top/bottom role, I am not totally convinced yet. Could someone 
please describe some practical use cases?

Thanks,

Zhe

Alan Ruttenberg wrote:
> Hi Zhe,
>
> At yesterday's meeting the sentiment of those present was that it was 
> desirable to move forward with adding easy keys and top/bottom 
> property. As one a representative of a reasoner implementation, we 
> need your feedback about whether you concur that these features should 
> be added to the specification. Could you please carefully review the 
> easy keys proposal at http://www.w3.org/2007/OWL/wiki/Easy_Keys with 
> particular attention to the the section "Why not easiest keys?" and 
> get back to the group with your thoughts on this matter and with an 
> indication if it is likely that Oracle would implement this feature? 
> Similarly, the top and bottom property, as described in 
> http://www.w3.org/2007/OWL/wiki/Universal_Property.
>
> Thanks,
> Alan
>