feedback on Easy keys and universal property

Hi,

Forgot to copy the WG.

Zhe

attached mail follows:

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
>