Property talk:P2737
Documentation
every instance of this class is an instance of at least one class in that list of classes. Use "list item" P11260 as qualifiers to specify the list of classes
List of violations of this constraint: Database reports/Constraint violations/P2737#One of, values statistics, search, SPARQL
List of violations of this constraint: Database reports/Constraint violations/P2737#mandatory qualifier, SPARQL
List of violations of this constraint: Database reports/Constraint violations/P2737#allowed qualifiers, SPARQL
List of violations of this constraint: Database reports/Constraint violations/P2737#Entity types
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a6/Pictogram_voting_comment.svg/40px-Pictogram_voting_comment.svg.png)
Replace of (P642) with list item (P11260) (Help)
Violations query:
SELECT DISTINCT ?item ?itemLabel ?itemvalLabel ?ofLabel WHERE { { ?item p:P2737 ?stm . ?stm ps:P2737 ?itemval . ?stm pq:P642 ?of . } }
List of this constraint violations: Database reports/Complex constraint violations/P2737#Deprecation of P642
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a6/Pictogram_voting_comment.svg/40px-Pictogram_voting_comment.svg.png)
The values listed in the statements are actually instances of the class (Help)
Violations query:
SELECT DISTINCT ?item ?stm ?instance WHERE { { ?item p:P2737 ?stm . ?stm pq:P11260 ?instance . ?instance wdt:P31/wdt:P279* ?item . } }
List of this constraint violations: Database reports/Complex constraint violations/P2737#Union used to list instances
|
Help
[edit]See disjoint union of (P2738) for more information who to use this property.
This property is used like its cousin, unless it is only required that any instance of the parent class is an instance of at least one of the subclass list. In mathematical terms, the set of instances is covered by the set of subclasses.
constraints ; requests
[edit]antipatterns
[edit]This property and her sister's creation has been motivated partly because of a misuse of part of (P361) and has part Search.
Here two queries to detect those antipatterns :
- : alleged subclasses that are also parts.Try it!
select ?item ?itemLabel ?part ?partLabel where { ?part wdt:P279 ?item . ?item wdt:P361 ?part . SERVICE wikibase:label { bd:serviceParam wikibase:language "en" . } }
- : alleged parts that are also subclasses.Try it!
select ?item ?itemLabel ?part ?partLabel where { ?part wdt:P279 ?item . ?item wdt:P527 ?part . SERVICE wikibase:label { bd:serviceParam wikibase:language "en" . } }
Unused?
[edit]At Property talk:P2737/list, there is a list of items using this property. It seems currently unused.
--- Jura 18:52, 13 April 2016 (UTC)
Constraints make no sense
[edit]There is no reason for this property to be forced to use the roundabout tool of list of values as qualifiers (Q23766486), except where the values form discrete, non-overlapping sets that can only be indicated by listing them as qualifiers of separate statements. Otherwise, values should be direct values of the property, as one would expect. Swpb (talk) 18:33, 2 January 2018 (UTC)
- @Swpb:_Two points : First, this would amount to use union of as an inverse property of subclass of, which no one wants and was NETHER the point. Second, this would be creating a particular case which make more complicate to use the datas. For this kind of properties it make sense to normalize the representations. author TomT0m / talk page 09:52, 13 March 2018 (UTC)
Multiple subclass claims
[edit]This should be simple, but I find myself confused over how it works: Does simultaneously making item A a subclass of (P279) B and a subclass of (P279) C imply that every instance of (P31) A is also an instance of (P31) of B and C (i.e. the intersection of B and C), or will it include anything that is an instance of (P31) either B or C (the union of B and C)?
I ask because today I encountered biblical character (Q12405827) and found that it had five subclass claims, listing religious character (Q18563354), hypothetical entity (Q18706315), mythical character (Q4271324), fictional character (Q95074), and literary character (Q3658341). It looked to me like a pretty limited intersection, saying that any biblical character must be religious, hypothetical and fictional at the same time. I thus decided to create a single union of (P2737) claim combining those five classes into one instead.
But did I really do it right? I have now left the existing subclass claims on that item intact, pending an answer to my question above. If a union of (P2737) construct is required whenever you want to combine the contents of two or more Wikidata classes, then there must be a lot of unintentional intersections across Wikidata, and I don't recall seeing any statement having problems because it conflicts with one or the other of the subclasses.
But if heaping subclass claims on top of each other typically results in a union being created, what do we need union of (P2737) for? What does specifying no subclass claims at all mean to an item? And what happens if I start playing around with subclass of (P279) currently empty class (Q86098365)..? --SM5POR (talk) 20:47, 12 January 2022 (UTC)
- @SM5POR: In theory, subclass of (P279) should be used only when all the instances of A are instances of B and, adding another superclass C, the instances of A will be instances of the intersection of B and C (in practice, this rule is not always kept in mind).
- According to the current state, every biblical character (Q12405827) is a religious character (Q18563354), and also a hypothetical entity (Q18706315), and also a mythical character (Q4271324), etc.
- I don't actually know if this is necessary false. May you show any counterexample (i.e. an item that should be instance of only a part of these superclasses)? --Horcrux (talk) 09:22, 13 January 2022 (UTC)
- Thanks for confirming my assumption, and now I see that I probably misinterpreted hypothetical entity (Q18706315) to include also kings potentially identical to historical rulers in the Middle East, such as some King of Assyria (Q28124026), since they are mentioned in the WP article linked to hypothetical entity (Q18706315) which I had Google translate from Hebrew... Neither is Augustus (Q1405) included. Then the intersection of the five classes listed was most likely intentional after all, and I can remove my union of (P2737) statement. -- SM5POR (talk) 11:46, 13 January 2022 (UTC)
- This however reminds of nation at occurrence (Q61130878), a real ontological train wreck I explored a year and a half ago, but didn't have the patience to sort out then... -- SM5POR (talk) 12:13, 13 January 2022 (UTC)
- Thanks for confirming my assumption, and now I see that I probably misinterpreted hypothetical entity (Q18706315) to include also kings potentially identical to historical rulers in the Middle East, such as some King of Assyria (Q28124026), since they are mentioned in the WP article linked to hypothetical entity (Q18706315) which I had Google translate from Hebrew... Neither is Augustus (Q1405) included. Then the intersection of the five classes listed was most likely intentional after all, and I can remove my union of (P2737) statement. -- SM5POR (talk) 11:46, 13 January 2022 (UTC)
- P.S. Also notice that:
- instance of (P31)hypothetical entity (Q18706315) is redundant, because mythical character (Q4271324) is a subclass of (mythical entity (Q24334685) that is a subclass of) hypothetical entity (Q18706315).
- instance of (P31)fictional character (Q95074) is redundant, because literary character (Q3658341) is a subclass of fictional character (Q95074).
- Yes, I suspected quite a bit of redundancy there but didn't verify it. However, I was a bit surprised to find neutron (Q2348) to be a hypothetical entity (Q18706315), but this is apparently due to it being a subclass of (P279) neutronium (Q1195471), which I believe is a mistake in two ways: it should be claimed as part of (P361), not subclass of (P279), and such a claim should probably be subject to some constraint as well. --SM5POR (talk) 12:01, 13 January 2022 (UTC)
- @SM5POR: Since all the certainly-existed humans (like Augustus (Q1405)) are exclusively instance of (P31)human (Q5), it is not a problem that every biblical character (Q12405827) is a hypothetical entity (Q18706315). I think this problem is solved.
- For what concerns the case of neutron (Q2348), I solved it in this way. Now
ASK WHERE { wd:Q2348 wdt:P279* wd:Q18706315 . }
will return false. --Horcrux (talk) 12:31, 13 January 2022 (UTC)
Move qualifiers to values
[edit]@Swpb @Jura1 @Vojtěch Dostál We should move this property and disjoint union of (P2738)'s qualifiers to instead be values of the property itself. I'm not exactly sure why they were made qualifiers in the first place. We should do this so that editors aren't confused how to use this with the weird list of values as qualifiers (Q23766486) value that's required and so that we can eventually depreciate of (P642). Lectrician1 (talk) 00:35, 14 February 2022 (UTC)
- You should look to the property proposals. One major flaw with using the property values directly is that some items are decomposable in multiple unrelated ways. Using list of values as qualifiers (Q23766486) allows expressing one decomposition in one statement and another decomposition in a separate statement. Swpb (talk) 19:14, 14 February 2022 (UTC)
- All Properties
- Properties with wikibase-item-datatype
- Properties used on 100+ items
- Properties with scope constraints
- Properties with one-of constraints
- Properties with required qualifiers constraints
- Properties with qualifiers constraints
- Properties with entity type constraints
- Properties with complex constraints