Wikidata logical rules and where to find them