There is already stuffs to handle this kind of « mutex » on Wikidata :
"disjoint union of", see for example in usage on htps://
www.wikidata.org/wiki/Q180323 . The statements are used on the talk page by
templates that uses them to generate queries to find instances that violate
the mutex :
https://www.wikidata.org/wiki/Talk:Q180323 (for example This
query
<https://query.wikidata.org/#select%20%3Fitem%20where%20%7B%0A%09%3Fitem%20wdt%3AP31%2Fwdt%3AP279%2A%20wd%3AQ180323%20%20minus%20%7B%0A%09%09%7B%0A%09%09%09%3Fitem%20wdt%3AP31%2Fwdt%3AP279%2A%20wd%3AQ900457%20%0A%09%09%7D%20union%20%7B%0A%09%09%09%3Fitem%20wdt%3AP31%2Fwdt%3AP279%2A%20wd%3AQ578786%20%0A%09%09%7D%20union%20%7B%0A%09%09%09%3Fitem%20wdt%3AP31%2Fwdt%3AP279%2A%20wd%3AQ405478%20%0A%09%09%7D%20union%20%7B%0A%09%09%09%3Fitem%20wdt%3AP31%2Fwdt%3AP279%2A%20wd%3AQ46993066%20%0A%09%09%7D%20union%20%7B%0A%09%09%09%3Fitem%20wdt%3AP31%2Fwdt%3AP279%2A%20wd%3AQ2253183%20%0A%09%09%7D%0A%09%7D%0A%7D>
, that does not find anything unsurprisingly because I don’t expect to find
a lot of vertebra instances on Wikidata :) )
Le sam. 20 oct. 2018 à 12:09, Thad Guidry <thadguidry(a)gmail.com> a écrit :
Hi All,
Just to address what Markus was hinting at with inference rules. Both
positive and negative rules could be stored. Back in the Freebase days, we
had those and were called "mutex's". We used them for "type
incompatible"
hints to users and stored those "type incompatible" mutex rules in the
knowledge graph. (Freebase being a Type based system along with having
Properties under each Type)
Such as: ORGANIZATION != SPORT
You actually have all those type incompatible mutexs in the Freebase dumps
handed to you where you could start there. The biggest one was called "Big
Momma Mutex".
Here is an archived email thread to give further context:
https://freebase.markmail.org/thread/z5o7nlnb62n5t22o
Anyways, the point is that those rules worked well for us in Freebase and
I can see rules also working wonders in various ways in Wikidata as well.
Maybe its just a mutex at each class ? Where multiple statements could
hold rules ?
Thad
+ThadGuidry <https://www.google.com/+ThadGuidry>
_______________________________________________
Wikidata mailing list
Wikidata(a)lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikidata