On 2015/01/09 14:50, Lydia Pintscher wrote:
On Thu, Jan 8, 2015 at 6:43 PM, Denny Vrandečić <vrandecic@gmail.com> wrote:

Actually, since Wikidata allows now properties on properties, one might
easily create an item "Disambiguating property" and then make a claim
"instance of - Disambiguating property" on the relevant property. there is
no need for any extra implementation work.

And in fact that already exists ;-) See for example
https://www.wikidata.org/wiki/Property:P345

We would want to say that https://www.wikidata.org/wiki/Q6545185 "unique identifier" is that same as http://www.w3.org/2002/07/owl#InverseFunctionalProperty. In this case a property is an instance of "unique identifier" (not sub property) so that "unique identifier" is the same class as InverseFunctionalProperty. We already have https://www.wikidata.org/wiki/Property:P1628 "equivalent property". Is there an "equivalent class"?

- Jeff