Help:P2738/nl
Help page for disjoint union of (P2738) 
. This help page will be included in Property talk:P2738. Please be careful editing it not to break the included page.
Disjuncte vereniging en vereniging
Omdat de gevallen vergelijkbaar zijn, documenteert deze pagina zowel de eigenschappen union of (P2737) en disjoint union of (P2738). Beide eigenschappen zijn eigenschappen voor klassen of metaklassen, zie Classification en Basic membership properties. Disjuncte vereniging en vereniging zijn relaties tussen een klasse (bijvoorbeeld C) en een lijst van zijn subklassen (zeg L voor de lijst).
Hun doel is om twee verschillende maar verwante dingen weer te geven:
- de vereniging stelt dat en instantie van C een instantie is van ten minste één van de klassen vermeld in L.
- de disjuncte vereniging heeft de eerste eigenschap, maar voegt de beperking toe dat elke instantie van C een instantie is van precies één klasse in L.
In beide gevallen worden alle waarden in L weergegeven in één verklaring, als kwalificaties, met behulp van de kwalificatie list item (P11260), en de hoofdwaardeverklaring list of values as qualifiers (Q23766486) als tijdelijke aanduiding.
Examples
union of
Radio- en tv-programma's. Sommige mediaprogramma's kunnen zowel tv-programma's als radioprogramma's zijn, zoals Spelling Bee (Q7575891) 
. Maar er kan worden aangenomen dat alle broadcasting program (Q11578774) er minstens één van beide zijn. (of ook web als mediaprogramma zien?)
⟩ union of (P2737) ⟨ list of values as qualifiers (Q23766486) ⟩list item (P11260)
⟨ television program (Q15416) ⟩list item (P11260)
⟨ radio program (Q1555508) ⟩disjoint union of
Neem de deeltjes waaruit een atomic nucleus (Q37147) is gemaakt. Deze deeltjes worden nucleon (Q102165) genoemd. Er zijn twee soorten nucleonen : de proton (Q2294) en de neutron (Q2348) . Meer nog, één specifieke nucleon (Q102165) kan een proton of een neutron zijn, maar niet beide. Nucleonen, protonen en neutronen zijn allemaal klassen van objecten in de echte wereld, omdat er veel nucleoneninstanties in de natuur zijn (zie Help:Classification en Help:Basic membership properties voor meer uitleg)
- Dan de volgende verklaring betekent precies dat.
Motivering en gebruiksaanwijzing
Het is heel gebruikelijk dat we objecten of concepten hergroeperen in vergelijkbare klassen van objecten of concepten in brede klassen, en vervolgens dat we deze brede klassen verder verdelen in kleinere klassen die elkaar niet overlappen en zodanig dat elke instantie van de brede klasse een instantie is van precies een van de kleinere. We kunnen bijvoorbeeld mensen die tot een sportclub behoren definiëren in leeftijdscategorieën (junior, senior,...)
Maar in de sport is het ook heel gebruikelijk om mensen in te delen in niet-gerelateerde op geslacht gebaseerde categorieën, of op gewicht gebaseerde categorieën.
Meer in het algemeen zijn er vaak verschillende nuttige manieren om partition of a set (Q381060) een klasse van instanties te gebruiken. Om dat op Wikidata weer te geven, hebben we een manier nodig om de klassen die de klasse op de ene manier verdelen te hergroeperen, om de klassen die zich opsplitsen op een andere manier te hergroeperen, en niet om dingen door elkaar te halen.
Dit is hoe we dit bereiken : we gebruiken één verklaring per manier om onze hoofdklasse te verdelen. Elk van deze verklaringen gebruikt een dummywaarde (list of values as qualifiers (Q23766486)) als hoofdwaarde, omdat de waarden voor qualifier zinvol en nuttig zijn. De verzameling klassen die de verzameling verdeelt, wordt aangegeven door de set kwalificaties die is gebouwd met list item (P11260) .
Constraints
Met een sparql-query kan worden gecontroleerd of geen instantie van het onderwerp van de bovenliggende klasse een instantie is van geen van de klassen in een samenvoeging van verklaringen. De Lua-module Module:Requests/union_of heeft functies om dergelijke query's te genereren die de items vinden die niet passen en kunnen worden gebruikt in een soort beperkingsrapport. Ze zijn opgenomen in dit sjabloon.