Help:Basis lidmaatschapseigenschappen
 | Deze pagina in een notendop:
|
Introductie
Deze pagina legt de verschillen uit tussen de eigenschappen instance of (P31), subclass of (P279) en part of (P361).
Definities
Om de verschillen te begrijpen, is het belangrijk om bekend te zijn met de termen instantie en klasse. Een klasse is een abstractie die een collectie (of verzameling) van dingen beschrijft, de zogenaamde instanties. Doorgaans delen alle instanties die tot een klasse behoren een set eigenschappen, welke eigenschappen de klasse kenmerken.
Als alle instanties van klasse A noodzakelijkerwijs ook tot klasse B behoren, dan zeggen we dat A een subklasse van B is.
Voorbeelden
- klasse human (Q5) met instanties Abraham Lincoln (Q91), Mahatma Gandhi (Q1001), Isaac Newton (Q935), enz.
- klasse lighthouse (Q39715) met instanties Amrum Lighthouse (Q20669), Lighthouse of Alexandria (Q43244), enz.
- klasse ocean (Q9430) met instanties Atlantic Ocean (Q97), Pacific Ocean (Q98), enz.
- klasse public election (Q40231) met instantie 2016 Taiwanese presidential election (Q20683626), etc.
Praktische aspecten
- Een item kan zowel een instantie als een klasse zijn. Een item is een instantie als het een eigenschap instance of (P31) heeft. Een item is een klasse als het de waarde is die is gekoppeld aan de eigenschap instance of (P31) van een ander item (of als het een eigenschap subclass of (P279) heeft). Angela Merkel (Q567) is bijvoorbeeld een instantie van politician (Q82955) en politician (Q82955) is een instantie van profession (Q28640). Het item politician (Q82955) is dus zowel een klasse als een instantie.
- De volledige set van instanties die door een klasse worden geïmpliceerd, kan al dan niet bestaan als items binnen Wikidata.
- Doorgaans wordt een klasse gekenmerkt door een reeks eigenschappen die door alle instanties worden gedeeld. De instanties verschillen van elkaar in de waarden die ze hebben voor die eigenschappen, maar niet in het feit dat ze de eigenschappen zelf hebben (hoewel dit niet wordt afgedwongen door Wikidata).
De relatie tussen instanties met een gemeenschappelijk kenmerk en een klasse die door deze eigenschap wordt kenmerk, wordt geproduceerd met de eigenschap instance of (P31). We gebruiken instance of (P31) in plaats van subclass of (P279) wanneer we niets kunnen zeggen over gevallen met een dergelijke relatie. Meer specifiek is het een rdf:type.[1]
Atlantic Ocean (Q97) en Pacific Ocean (Q98) zijn bijvoorbeeld beide instanties van ocean (Q9430). We schrijven daarom op Wikidata:
- Wordt gebruikt om aan te geven dat alle instanties van een klasse instanties zijn van een andere[2]
- Meer specifiek is het een rdfs:subClassOf[3]
- Als er geen instanties van de onderwerp klasse zijn met de waarde class, dan is subclass of (P279) niet geschikt. partially coincident with (P1382) kan worden gebruikt om overlappende klassen te koppelen waarbij geen van beide een strikte subklasse van de andere is.
Enkele voorbeelden:
- human brain (Q492038) subclass of (P279) brain (Q1073)
- brain (Q1073) subclass of (P279) animal organ (Q24060765)
- animal organ (Q24060765) subclass of (P279) organ (Q712378)
- human brain (Q492038) subclass of (P279) brain (Q1073)
- brain (Q1073) subclass of (P279) animal organ (Q24060765)
- animal organ (Q24060765) subclass of (P279) organ (Q712378)
Nog een voorbeeld:
- klasse lake (Q23397) met instanties Lake Baikal (Q5513) en Lake Erie (Q5492).
- klasse ocean (Q9430) met instanties Atlantic Ocean (Q97) en Pacific Ocean (Q98).
Een meer en een oceaan zijn niet hetzelfde, maar al hun gevallen delen het gemeenschappelijke kenmerk van een waterlichaam. Daarom kunnen we de klasse body of water (Q15324) gebruiken om te stellen dat:
- lake (Q23397) subclass of (P279) body of water (Q15324);
- ocean (Q9430) subclass of (P279) body of water (Q15324).
Nu zullen Lake Baikal (Q5513), Lake Erie (Q5492), Atlantic Ocean (Q97) en Pacific Ocean (Q98) allemaal transitieve (indirecte) instanties van body of water (Q15324) zijn. Over het algemeen kunnen we meer abstracte objecten gebruiken (zoals body of water (Q15324)) in plaats van opsommingen (lake (Q23397) en ocean (Q9430)) zowel: 1. in onze verklaringen en 2. in onze vragen (niet behandeld op deze helppagina).
Transitieve eigenschappen
De eigenschap subclass of (P279) is een transitive Wikidata property (Q18647515), dat betekent dat als een klasse A een subklasse is van B en B een subklasse van C, dat A impliciet ook een subklasse is van C. Er is geen algemene noodzaak om een verklaring toe te voegen hiervoor.
tree (Q10884) is bijvoorbeeld een subklasse van woody plant (Q757163) en woody plant (Q757163) is een subklasse van plant (Q756). Dus tree (Q10884) is impliciet ook een subklasse van plant (Q756).
Evenzo, als item x een instantie van klasse B is en B een subklasse van klasse C, dan is x impliciet ook een instantie van C. Er is dan geen algemene noodzaak om een expliciete verklaring toe te voegen aan Wikidata waarin wordt verklaard dat x een instantie van C is.
Lighthouse of Alexandria (Q43244) is bijvoorbeeld een instantie van lighthouse (Q39715) en lighthouse (Q39715) is een subklasse van tower (Q12518). Lighthouse of Alexandria (Q43244) is dus een voorbeeld van tower (Q12518).
De eigenschap instance of (P31) is niet transitief. Gezien het bovenstaande voorbeeld: Angela Merkel (Q567) is een instantie van politician (Q82955), en politician (Q82955) is een instantie van profession (Q28640), maar het zou onjuist zijn om te zeggen dat Angela Merkel (Q567) een instantie is van profession (Q28640).
Gevolgtrekkingen op basis van transitiviteit houden geen rekening met kwalificaties, dus instance of (P31) en subclass of (P279) verklaringen moeten geldig zijn terwijl eventuele kwalificaties worden genegeerd; Met andere woorden, deze verklaringen mogen geen restrictive qualifier (Q61719275) of kwalificaties bevatten die beperkend worden gebruikt. Als A bijvoorbeeld vaak, maar niet altijd, een deelklasse van B is, dan is het niet geldig om te stellen dat A een subklasse van B is met nature of statement (P5102) = often (Q28962312), omdat dit tot verkeerde gevolgtrekkingen zal leiden.
Items kunnen geen instantie van een andere niet-klasse zijn, maar ze kunnen wel deel uitmaken van een andere niet-klasse. Bijvoorbeeld: Albert Einstein's brain (Q2464312) is een onderdeel van Albert Einstein (Q937). Op Wikidata gebruiken we part of (P361) voor deze relatie.
Klassen kunnen ook deel uitmaken van een andere klasse. Bijvoorbeeld
Het gebruik van instance of (P31) in plaats van part of (P361) zou hier verkeerd zijn omdat human brain (Q492038) geen persoon is. Het gebruik van subclass of (P279) zou ook verkeerd zijn omdat een instantie van human brain (Q492038) (bijv. Albert Einstein's brain (Q2464312)) geen instantie is van de klasse Homo sapiens (Q15978631).
Net als subclass of (P279) is part of (P361) een transitieve eigenschap.
<span id="Inverse_relations_of_part of (P361)">
Inverse relaties of part of (P361)
- has part(s) (P527) - wordt gebruikt om aan te geven dat een instantie als onderdeel een andere instantie heeft of dat instanties van een klasse als onderdeel een instantie van een andere klasse hebben
- has part(s) of the class (P2670) - wordt gebruikt om te zeggen dat een instantie (nooit een klasse) als onderdeel een instantie van een klasse heeft. Als het bovenliggende item zowel een instantie als een klasse is, mag has part(s) of the class (P2670) niet worden gebruikt.
Bijvoorbeeld,
- Greek alphabet (Q8216) has part(s) (P527) Α (Q9887) (instantie-instantie)
- alphabet (Q9779) has part(s) (P527) letter (Q9788) (klasse-klasse)
- Greek alphabet (Q8216) has part(s) of the class (P2670) Greek letter (Q19793459) (instantie-klasse)
In het eerste voorbeeld wordt has part(s) (P527) gebruikt omdat Greek alphabet (Q8216) als onderdeel Α (Q9887) heeft. has part(s) (P527) wordt ook gebruikt in het tweede voorbeeld omdat instanties van alphabet (Q9779) instanties van letter (Q9788) als onderdelen hebben. In het laatste voorbeeld nemen we has part(s) of the class (P2670), omdat Greek alphabet (Q8216) een of meer exemplaren van Greek letter (Q19793459) als onderdelen heeft.
Voorbeelden
instance of (P31) vs. subclass of (P279) vs. part of (P361)
| Property | X | Y | wat het aangeeft | voorbeeld | uitleg | waarom gebruiken we niet ... |
|---|---|---|---|---|---|---|
| <X> instance of <Y> | is een | klasse |
|
<USS Nimitz> instance of <supercarrier> | <USS Nimitz> is een enkel betonnen vliegdekschip, <supervliegdekschip> is een vliegdekschipklasse die vele instanties kent (vliegdekschippen) |
|
| <People's Republic of China> instance of <sovereign state> | <soevereine staat> is een concept gedefinieerd door sommige kenmerken, <China> is een object dat aan deze kenmerken voldoet |
| ||||
| <Sun> instance of <G-type main-sequence star> | De <Zon> is een specifieke ster met de spectrale kenmerken van een G-type hoofdreeksster, en is dus een instantie van die klasse | * subclass of niet gebruikt omdat <Zon> geen klasse is maar een enkel astronomisch object
| ||||
| <hatter> instance of <profession> | <hatter> is een specifiek voorbeeld van een beroep |
| ||||
| <Douglas Adams> instance of <human> | <Douglas Adams> is een specifieke menselijke persoon (dit is een van de meest voorkomende gevallen voor instance of) | * subclass of niet gebruikt omdat <Douglas Adams> geen klasse van mensen is, maar een enkele persoon (instantie)
| ||||
| <X> subclass of <Y> | klasse | klasse |
|
<supercarrier> subclass of <aircraft carrier> | Zowel <supervliegdekschip> als <vliegdekschip> zijn klassen en de laatste bevat de eerste |
|
| <sovereign state> subclass of <state> | beide zijn klassen, de eerste heeft alle kenmerken van de laatste en enkele extra functies, dus het is een subklasse van de laatste |
| ||||
| <G-type star> subclass of <star> | elke individuele G-type ster (instantie van <G-type ster>) is ook een ster - d.w.z. behoort tot de klasse <ster> | * instance of niet gebruikt omdat <G-type ster> geen enkele ster is, maar een type van <ster>
| ||||
| <X> part of <Y> | is een | is een |
|
<USS Nimitz> part of <Carrier Strike Group Eleven> | <USS Nimitz> is een betonnen vliegdekschip, <USS Nimitz> is een betonnen vliegdekschip aanvalsgroep, <USS Nimitz> is een van <CSG-11> 's componenten (het vlaggenschip) |
|
| <People's Republic of China> part of <Asia> | <China> en <Azië> zijn beide specifieke geografische kenmerken, <China >maakt deel uit van het continent <Azië> |
| ||||
| <Sun> part of <Solar System> | beiden zijn individuele astronomische objecten; het zonnestelsel bestaat uit de Zon, planeten en andere objecten in de nabijheid van de Zon | * instance of niet gebruikt omdat de laatste een individueel astronomisch object is, geen generiek concept
| ||||
| klasse | klasse | een instantie van klasse X maakt deel uit van een instantie van klasse Y | <flight deck> part of <aircraft carrier> | Elk vliegdekschip (instantie van <vliegdekschip >) heeft zijn eigen vliegdek (instantie van <vliegdek>) |
| |
| <member state> part of <international organization> | Een instantie van <lidstaat> is een onderdeel van een instantie van <internationale organisatie> |
| ||||
| <star> part of <galaxy> | Een ster ontstaat en leeft normaal gesproken in een sterrenstelsel dat bestaat uit vele sterren en andere astronomische objecten |
| ||||
| ||||||
has part(s) (P527) vs. has part(s) of the class (P2670)
Hier is een tabel die het verschil tussen has part(s) (P527) en has part(s) of the class (P2670) verklaart.
has part(s) (P527) moet worden gebruikt voor klasse-klasse- en instantie-instantierelaties.
has part(s) of the class (P2670) moet worden gebruikt voor bijvoorbeeld klassenrelaties. Als u een beperkingsschending ziet voor een object met has part(s) of the class (P2670)...
- Als het item een klasse is en subclass of (P279) heeft, moet het has part(s) (P527) gebruiken in plaats van has part(s) of the class (P2670), zelfs als het ook instance of (P31) heeft.
- Het item kan ten onrechte een klasse zijn en zou in plaats daarvan een instantie moeten zijn. Verwijder subclass of (P279) en zorg ervoor dat het een goede instance of (P31) heeft.
| Property | X | Y | wat het aangeeft | voorbeeld | uitleg | waarom gebruiken we niet ... |
|---|---|---|---|---|---|---|
| <X> has part(s) <Y> | is een | is een | instantie X heeft instantie Y onder zijn onderdelen of componenten | <United States Congress> has part(s) <United States Senate> | het congres van de VS bestaat uit twee delen, het Huis van Afgevaardigden en de Senaat |
|
| <Solar System> has part(s) <Mars> | <Mars> is een van de planeten van het <zonnestelsel> |
| ||||
| klasse | klasse | een voorbeeld van X heeft een voorbeeld van Y onder zijn onderdelen of componenten | <body> has part(s) <head> | In het algemeen heeft een <lichaam> (anatomisch kenmerk) een <kop> als een van zijn delen |
| |
| <galaxy> has part(s) <star> | een <sterrenstelsel> heeft <sterren> als een van zijn delen |
| ||||
| <X> has part(s) of the class <Y> | is een | klasse | het specifieke item X bevat een instantie van klasse Y onder de onderdelen of componenten | <University of Cambridge> has part(s) of the class <college of the University of Cambridge> | de <Universiteit van Cambridge> heeft colleges als onderdelen |
|
| <Solar System> has part(s) of the class <inner planet of the Solar System> | ons <zonnestelsel> heeft een of meer <binnenplaneten> als onderdelen |
| ||||
| <Albert Einstein> has part(s) of the class <human brain> | <Albert Einstein> had <menselijke hersenen> als onderdeel |
|
Queries
Wikidata Queries kan worden gebruikt om leden van een bepaalde klasse te vinden, bijvoorbeeld alle subklassen van "Literair Werk"; een Wikidata Query Builder is beschikbaar om te helpen.
Zie ook
Referenties
- ↑ https://www.w3.org/TR/rdf-schema/#ch_type
- ↑ https://www.w3.org/TR/rdf-schema/#ch_subclassof
- ↑ https://www.w3.org/TR/rdf-schema/#ch_subclassof
Externe links
- Multi-Level Conceptual Modeling: Theory and Applications — verklaart verschillen tussen instance of (P31) en subclass of (P279) onder het conceptuele kader van multi-level conceptuele modellering. Ga naar deel 4 voor Wikidata-gerelateerde inhoud.
- Collecties en individuen — verklaart verschillen tussen instance of (P31) en subclass of (P279) (in de context van de Cyc (Q1147294) kennisbank)