[Wikidata-bugs] [Maniphest] [Created] T145466: ASK considers absurd subclasses as valid in Wikidata Query Service

[Alphos]

Alphos created this task. Alphos added a project: Wikidata-Query-Service. Herald added a subscriber: Aklapper. Herald added projects: Wikidata, Discovery.

TASK DESCRIPTION

After finding an odd result while testing an ASK query, I stumbled upon this obvious example case :

ASK {
  wd:Q618123 wdt:P279+ wd:Q5 . # is "geographical object" an indirect subclass of "human being"
}

returns true. Results are the same with wdt:P279* (is indirect or direct subclass of).

Oddly enough, the same query without + (direct subclass of) returns false :

ASK {
  wd:Q618123 wdt:P279 wd:Q5 . # is "geographical object" a direct subclass of "human being"
}

and this SELECT query returns no result (as expected, quite frankly :-D ) :

SELECT ?q
WHERE {
  wd:Q618123 wdt:P279* ?q . # "geographical object" is a direct or indirect subclass of the class we're looking for
  ?q wdt:P279* wd:Q5 # which is itself a direct or indirect subclass of "human being"
}

So wd:Q618123 is a { direct or indirect } and { indirect } subclass (so it must be indirect by intersection) of wd:Q5. But it is not a direct subclass of wd:Q5 (which we've already established), and it is impossible to find an intermediate class between wd:Q618123 and wd:Q5, which means it isn't an indirect subclass of wd:Q5 either.

TASK DETAIL

https://phabricator.wikimedia.org/T145466

EMAIL PREFERENCES

https://phabricator.wikimedia.org/settings/panel/emailpreferences/

To: Alphos
Cc: Aklapper, Alphos, mschwarzer, Avner, debt, Gehel, D3r1ck01, Jonas, FloNight, Xmlizer, Izno, jkroll, Smalyshev, Wikidata-bugs, Jdouglas, aude, Deskana, Manybubbles, Mbch331

_______________________________________________
Wikidata-bugs mailing list
Wikidata-bugs@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs