Help:Grunnleggende medlemskapsegenskaper
Denne siden i et nøtteskall:
|
Innledning
Denne siden forklarer forskjellene mellom egenskapene instance of (P31), subclass of (P279) og part of (P361).
Definisjoner
To understand the differences, it is important to be familiar with the terms instance and class. A class is an abstraction that describes a set (or collection) of things, called its instances. Typically, all the instances belonging to a class share a set of properties, which properties characterize the class.
If all the instances of class A necessarily also belong to class B, then we say A is a subclass of B.
Eksempler
- class human (Q5) with instances Abraham Lincoln (Q91), Mahatma Gandhi (Q1001), Isaac Newton (Q935), etc.
- class lighthouse (Q39715) with instances Amrum Lighthouse (Q20669), Lighthouse of Alexandria (Q43244), etc.
- class ocean (Q9430) with instances Atlantic Ocean (Q97), Pacific Ocean (Q98), etc.
- class public election (Q40231) with instance 2016 Taiwanese presidential election (Q20683626), etc.
Praktiske aspekter
- Et element kan være en forekomst og/eller en klasse, avhengig av relasjonene det har til andre elementer.
- Forekomster med viktige fellestrekk kan abstraheres som en klasse A.
- De bestemte forekomstene av en klasse kan eksistere på Wikidata, men trenger ikke nødvendigvis gjøre det.
- Hvis en klasse A kan abstraheres som en annen klasse B kalles relasjonen mellom A og B for «underklasse av».
Relasjonen mellom forekomster som deler et fellestrekk og en klasse som kjennetegnes av dette fellestrekket kaller vi instance of (P31). Vi bruker instance of (P31) fremfor subclass of (P279) når vi ikke kan si noe om forekomster med en slik relasjon. Nærmere bestemt er dette en rdf:type-relasjon.[1]
For eksempel er både Atlantic Ocean (Q97) og Pacific Ocean (Q98) forekomster av ocean (Q9430). På Wikidata kan vi derfor skrive:
- Atlantic Ocean (Q97) instance of (P31) ocean (Q9430);
- Pacific Ocean (Q98) instance of (P31) ocean (Q9430).
Flere eksempler:
- human brain (Q492038) subclass of (P279) brain (Q1073)
- brain (Q1073) subclass of (P279) animal organ (Q24060765)
- animal organ (Q24060765) subclass of (P279) organ (Q712378)
Et annet eksempel:
- klassen lake (Q23397) med forekomster Lake Baikal (Q5513) og Lake Erie (Q5492);
- klassen ocean (Q9430) med forekomster Atlantic Ocean (Q97) og Pacific Ocean (Q98).
En innsjø og et hav er ikke det samme, men alle forekomstene deler fellestrekket at de er en vannansamling (eller en vannmasse). Derfor kan vi bruke klassen body of water (Q15324) til å angi at:
- lake (Q23397) subclass of (P279) body of water (Q15324);
- ocean (Q9430) subclass of (P279) body of water (Q15324).
Nå vil Lake Baikal (Q5513), Lake Erie (Q5492), Atlantic Ocean (Q97) og Pacific Ocean (Q98) alle være transitive (indirekte) forekomster av body of water (Q15324). Generelt kan vi bruke mer abstrakte objekter (som body of water (Q15324)) fremfor mindre abstrakte objekter (som lake (Q23397) og ocean (Q9430)) både: 1. i utsagn og 2. i spørsmål (ikke dekket av denne hjelpesiden).
- class lake (Q23397) with instances Lake Baikal (Q5513) and Lake Erie (Q5492);
- class ocean (Q9430) with instances Atlantic Ocean (Q97) and Pacific Ocean (Q98).
A lake and an ocean are not the same but all their instances share the common feature of being a body of water. Therefore we can use the class body of water (Q15324) to state that:
- lake (Q23397) subclass of (P279) body of water (Q15324);
- ocean (Q9430) subclass of (P279) body of water (Q15324).
Now Lake Baikal (Q5513), Lake Erie (Q5492), Atlantic Ocean (Q97) and Pacific Ocean (Q98) will all be transitive (indirect) instances of body of water (Q15324). In general we can use more abstract objects (like body of water (Q15324)) instead of enumerations (lake (Q23397) and ocean (Q9430)) both: 1. in our statements and 2. in our questions (not covered at this help page).
Transitive properties
subclass of (P279) er transitive Wikidata property (Q18647515), det vil si at hvis et element A er en forekomst av en klasse B, og klassen B er en underklasse av klassen C, så vil elementet A implisitt også være en forekomst av klassen C. Det er ikke nødvendig å eksplisitt legge til relasjonen A→C på Wikidata.
For example, tree (Q10884) is a subclass of woody plant (Q757163), and woody plant (Q757163) is a subclass of plant (Q756). Thus tree (Q10884) is implicitly also a subclass of plant (Q756).
Similarly, if item x is an instance of class B, and B is a subclass of class C, then x is implicitly also an instance of C. There is then no general need to add an explicit statement to Wikidata declaring x to be an instance of C.
For eksempel er Lighthouse of Alexandria (Q43244) en forekomst av lighthouse (Q39715) og lighthouse (Q39715) er en underklasse av tower (Q12518). Lighthouse of Alexandria (Q43244) er derfor en forekomst av tower (Q12518).
The property instance of (P31) is not transitive. Considering the example from above: Angela Merkel (Q567) is an instance of politician (Q82955), and politician (Q82955) is an instance of profession (Q28640), but it would be incorrect to say that Angela Merkel (Q567) is an instance of profession (Q28640).
Inferences based on transitivity do not take qualifiers into account, so instance of (P31) and subclass of (P279) statements must be valid while ignoring any qualifiers; in other words, these statements should not have any restrictive qualifier (Q61719275), or any qualifier that is being used restrictively. For example, if A is often, but not always, a subclass of B, then it is not valid to state that A is a subclass of B with nature of statement (P5102) = often (Q28962312), because this will lead to false inferences.
Elementer kan ikke være forekomster av en annen forekomst, men kan være del av en annen forekomst. For eksempel er Albert Einstein's brain (Q2464312) en del av Albert Einstein (Q937). På Wikidata kaller vi denne relasjonen part of (P361).
Klasser kan også være del av andre klasser. For eksempel er
Her ville bruk av instance of (P31) fremfor part of (P361) vært galt fordi human brain (Q492038) ikke er én enkelt ting og derfor ikke noen forekomst. Bruk av subclass of (P279) ville også vært galt fordi en forekomst av human brain (Q492038) (f.eks. Albert Einstein's brain (Q2464312)) ikke er en forekomst av klassen Homo sapiens (Q15978631).
På samme måte som subclass of (P279) er part of (P361) en transitiv egenskap.
<span id="Inverse_relations_of_part of (P361)">
Inverse relasjoner av part of (P361)
- has part(s) (P527) - brukes for å angi at en forekomst er satt sammen av andre forekomster eller at en klasse er satt sammen av andre klasser
- has part(s) of the class (P2670) - angir at en forekomst er laget av andre klasser
- has part(s) (P527) - is used to say that an instance has as part some other instance or that instances of a class have as part an instance of some other class
- has part(s) of the class (P2670) - is used to say that an instance (never a class) has as part an instance of a class. If the parent item is both an instance and a class, has part(s) of the class (P2670) should not be used.
For eksempel,
- Greek alphabet (Q8216) has part(s) (P527) Α (Q9887) (forekomst-forekomst)
- alphabet (Q9779) has part(s) (P527) letter (Q9788) (klasse-klasse)
- Greek alphabet (Q8216) has part(s) of the class (P2670) Greek letter (Q19793459) (forekomst-klasse)
I det første eksempelet brukes has part(s) (P527) fordi Greek alphabet (Q8216) og Α (Q9887) er forekomster. has part(s) (P527) brukes også i det neste eksempelet fordi både alphabet (Q9779) og letter (Q9788) er klasser. Men i det siste eksempelet bruker vi has part(s) of the class (P2670) fordi det er en relasjon mellom en forekomst og en klasse.
- Greek alphabet (Q8216) has part(s) (P527) Α (Q9887) (instance-instance)
- alphabet (Q9779) has part(s) (P527) letter (Q9788) (class-class)
- Greek alphabet (Q8216) has part(s) of the class (P2670) Greek letter (Q19793459) (instance-class)
In the first example, has part(s) (P527) is used because Greek alphabet (Q8216) has as part Α (Q9887). has part(s) (P527) is also used in the second example because instances of alphabet (Q9779) have instances of letter (Q9788) as parts. In the last example, we take has part(s) of the class (P2670) since Greek alphabet (Q8216) has one or more instances of Greek letter (Q19793459) as parts.
Examples
Property | X | Y | hva det betyr | eksempel | forklaring | hvorfor ikke bruke ... |
---|---|---|---|---|---|---|
<X> instance of <Y> | forekomst | klasse |
|
<USS Nimitz> instance of <supercarrier> | <USS Nimitz> er ett konkret hangarskip, <superhangarskip> er en klasse av hangarskip som har mange forekomster (hangarskip) |
|
<People's Republic of China> instance of <sovereign state> | <uavhengig stat> er et begrep definert av visse egenskaper, <Kina> er et bestemt objekt som møter disse egenskapene. |
| ||||
<Sun> instance of <G-type main-sequence star> | <Solen> er en bestemt stjerne med spektralkarakteristikk som en G-stjerne, og er derfor en forekomst av denne klassen | * subclass of kan ikke brukes fordi <Solen> ikke er en klasse, men et bestemt astronomisk objekt
| ||||
<hatter> instance of <profession> | <hatter> er et bestemt eksempel på en profesjon |
| ||||
<Douglas Adams> instance of <human> | <Douglas Adams> en en bestemt person (dette er et av de vanligste brukstilfellene for instance of) | * subclass of kan ikke brukes fordi <Douglas Adams> ikke er en klasse av mennesker, men en bestemt person (forekomst)
| ||||
<X> subclass of <Y> | klasse | klasse |
|
<supercarrier> subclass of <aircraft carrier> | både <superhangarskip> og <hangarskip> er klasser og sistnevnte inneholder førstnevnte |
|
<sovereign state> subclass of <state> | begge er klasser, den første har alle trekkene til den første og noen flere, så den er en underklasse av den andre |
| ||||
<G-type star> subclass of <star> | enhver G-stjerne (forekomst av <G-stjerne) er også en stjerne – det vil si hører til klassen <stjerne> | * instance of kan ikke brukes fordi <G-stjerne> ikke er én enkelt stjerne, men en type <stjerne>
| ||||
<X> part of <Y> | forekomst | forekomst |
|
<USS Nimitz> part of <Carrier Strike Group Eleven> | <USS Nimitz> er et bestemt hangarskip, <CSG-11> er en angrepsgruppe av hangarskip, <USS Nimitz> er en av bestanddelene i <CSG-11> (flaggskipet) |
|
<People's Republic of China> part of <Asia> | både <Kina> og <Asia> er bestemte geografiske objekter, <Kina> er en del av kontinentet <Asia> |
| ||||
<Sun> part of <Solar System> | begge er individuelle himmellegemer; solsystemet består av solen, planeter og andre himmellegemer | * instance of kan ikke brukes fordi sistnevnte er et individuelt himmellegeme, ikke et generelt begrep
| ||||
klasse | klasse | en forekomst av klassen X er en del av en forekomst av klassen Y | <flight deck> part of <aircraft carrier> | ethvert hangarskip (forekomst av <hangarskip>) har sitt eget flydekk (forekomst av <flydekk>) |
| |
<member state> part of <international organization> | en forekomst av <medlemsstat> er en komponent i en forekomst av <internasjonal organisasjon> |
| ||||
<star> part of <galaxy> | typisk vil en stjerne fødes og leve i én enkelt galakse, som består av mange stjerner og andre astronomiske objekter. |
| ||||
|
Here is a table that explains the difference between has part(s) (P527) and has part(s) of the class (P2670).
has part(s) (P527) should be used for class-class and instance-instance relationships.
has part(s) of the class (P2670) should be used for instance-class relationships.
If you see a constraint violation on an item with has part(s) of the class (P2670)...
- If the item is a class and has subclass of (P279), it should use has part(s) (P527) instead of has part(s) of the class (P2670), even if it also has instance of (P31).
- The item may wrongly be a class and should instead be an instance. Remove subclass of (P279) and make sure it has a proper instance of (P31).
Property | X | Y | hva det betegner | eksempel | forklaring | hvorfor ikke bruke … |
---|---|---|---|---|---|---|
<X> has part(s) <Y> | forekomst | forekomst | forekomst X har forekomst Y blant sine bestanddeler eller komponenter | <United States Congress> has part(s) <United States Senate> | Den amerikanske kongressen har to deler: Representantenes hus og Senatet |
|
<Solar System> has part(s) <Mars> | <Mars> er en av planetene i <solsystemet> |
| ||||
klasse | klasse | en forekomst av X har en forekomst av Y blant sine bestanddeler eller komponenter | <body> has part(s) <head> | et <legeme> (anatomisk) vil typisk ha et <hode> som en av bestanddelene |
| |
<galaxy> has part(s) <star> | en <galakse> har <stjerner> blant sine bestanddeler |
| ||||
<X> has part(s) of the class <Y> | forekomst | klasse | det bestemte elementet X inkluderer enhver forekomst av klassen Y blant sine bestanddeler eller komponenter | <University of Cambridge> has part(s) of the class <college of the University of Cambridge> | <University of Cambridge> består av sine kollegier |
|
<Solar System> has part(s) of the class <inner planet of the Solar System> | <Solsystemet> vårt har <indre planeter> blant sine bestanddeler |
| ||||
<Albert Einstein> has part(s) of the class <human brain> | <Albert Einstein> had a <human brain> as a part |
|
Queries
Wikidata Queries can be used to find members of a given class, for example all subclasses of "Literary Work"; a Wikidata Query Builder is available to help.
navbox
See also
Referanser
Eksterne lenker
- Multi-Level Conceptual Modeling: Theory and Applications — explains differences between instance of (P31) and subclass of (P279) under the conceptual framework of multi-level conceptual modelling. Skip to part 4 for Wikidata-related content.
- Collections and Individuals — forklarer forskjeller mellom instance of (P31) og subclass of (P279) (som brukt i kunnskapsbasen Cyc (Q1147294))