Help:Grundläggande medlemsegenskaper
Denna sida i ett nötskal:
|
Inledning
Denna sidan förklarar skillnaderna mellan egenskaperna instance of (P31), subclass of (P279) och part of (P361).
Definitioner
För att förstå skillnaderna är det viktigt att vara bekant med termerna "instans" och "klass". En klass är ett abstraktion som beskriver en rad (eller samling) saker, som kallas instanser. Instanser som tillhör en klass brukar dela egenskaper, vilka egenskaper det är definierar klassen.
Om alla instanser av klass A också behöver tillhöra klass B, säger vi att A är en underklass till B.
Exempel
- klass human (Q5) med instanserna Abraham Lincoln (Q91), Mahatma Gandhi (Q1001), Isaac Newton (Q935), etc.
- klass lighthouse (Q39715) med instanserna Amrum Lighthouse (Q20669), Amrum Lighthouse (Q20669), etc.
- klass ocean (Q9430) med instanserna Atlantic Ocean (Q97), Pacific Ocean (Q98), etc.
- klass public election (Q40231) med instans 2016 Taiwanese presidential election (Q20683626), etc.
Praktiska aspekter
- Ett objekt kan vara både en instans och en klass. Ett objekt är en instans om den har en instance of (P31)-egenskap. Ett objekt är en klass om den är värdet som kopplas till ett annat objekts instance of (P31)-egenskap (eller om den har en subclass of (P279)-egenskap). Angela Merkel (Q567), till exempel, är en instans av politician (Q82955) och politician (Q82955) är en instans av profession (Q28640). Så objektet politician (Q82955) är både en klass och en instans.
- Ett hel samling instanser som antyds av klasser kanske inte finns som objekt inom Wikidata.
- En klass karaktäriseras vanligtvis av en uppsättning egenskaper som delas av alla instanser. Instanserna skiljer sig från varandra i värdena de har i egenskaperna, men inte för att de har själva egenskaperna (men detta upprätthålls inte av Wikidata).
Relationen mellan instanser med gemensamma drag och en klass som kännetecknas av dessa drag skapas med egenskapen instance of (P31). Vi använder instance of (P31) istället för subclass of (P279) när vi inte kan säga något om instanser med sådana relationer. Mer specifikt är det en rdf:type.[1]
Exempelvis är både Atlantic Ocean (Q97) och Pacific Ocean (Q98) instanser av ocean (Q9430). På Wikidata skriver vi därför:
- Atlantic Ocean (Q97) instance of (P31) ocean (Q9430);
- Pacific Ocean (Q98) instance of (P31) ocean (Q9430).
- Används för att ange att alla instanser av en klass är instanser av en annan[2]
- Mer specifikt är det en rdfs:subClassOf[3]
- Om några instanser av subjektklassen inte är instanser av värdeklassen, är inte subclass of (P279) lämplig. partially coincident with (P1382) kan användas för att länka överlappande klasser där ingen av dem är en strikt underklass till den andra.
Flera exempel:
- human brain (Q492038) subclass of (P279) brain (Q1073)
- brain (Q1073) subclass of (P279) animal organ (Q24060765)
- animal organ (Q24060765) subclass of (P279) organ (Q712378)
Annat exempel:
- klass lake (Q23397) med instanserna Lake Baikal (Q5513) och Lake Erie (Q5492);
- klass ocean (Q9430) med instanserna Atlantic Ocean (Q97) och Pacific Ocean (Q98).
En sjö och ett hav är inte samma sak, men alla dess instanser har det gemensamma kännetecknet att vara en vattenkropp. Därför kan vi använda klassen body of water (Q15324) för att ange att:
- lake (Q23397) subclass of (P279) body of water (Q15324);
- ocean (Q9430) subclass of (P279) body of water (Q15324).
Nu kommer Lake Baikal (Q5513), Lake Erie (Q5492), Atlantic Ocean (Q97) och Pacific Ocean (Q98) alla vara Transitiva (indirekta) instanser av body of water (Q15324). Vi kan generellt sett använda mer abstrakta objekt (så som body of water (Q15324)) istället för uppräkningar (lake (Q23397) och ocean (Q9430)) både i: 1. våra uttalanden och 2. våra frågor (beskrivs inte på denna hjälpsidan).
Transitiva egenskaper
Egenskapen subclass of (P279) är en transitive Wikidata property (Q18647515). Det betyder: om en klass A är en underklass av klass B, och klass B är en underklass av klass C så A är implicit också en underklass av klass C. Det finns då inget generellt behov att lägga till ett explicit uttalande på Wikidata som anger att A är en underklass av C.
Till exempel, tree (Q10884) är en underklass till woody plant (Q757163), och woody plant (Q757163) är en underklass till plant (Q756). Därför är tree (Q10884) också en underförstådd underklass till plant (Q756).
På samma sätt, om objektet x är en instans av klass B och B är en underklass till klass C är x underförstått en instans av C. Det finns då inget generellt behov för att lägga till ett explicit uttalande på Wikidata som anger att x är en instans av C.
Exempelvis Lighthouse of Alexandria (Q43244) är en instans av lighthouse (Q39715) och lighthouse (Q39715) är en underklass av tower (Q12518). Lighthouse of Alexandria (Q43244) är därför en instans av tower (Q12518).
Egenskapen instance of (P31) är inte transitiv. Angående exemplet ovan: Angela Merkel (Q567) är en instans av politician (Q82955), och politician (Q82955) är en instans av profession (Q28640), men det skulle vara fel att säga att Angela Merkel (Q567) är en instans av 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.
Objekt kan inte vara instanser av andra icke-klasser, men de kan vara delar av andra icke-klasser. Exempelvis är Albert Einstein's brain (Q2464312) en del av Albert Einstein (Q937). På Wikidata använder vi part of (P361) för denna relation.
Klasser kan också ingå i en annan klass. Till exempel:
Att använda instance of (P31) istället för part of (P361) skulle vara fel här då human brain (Q492038) inte är en person. Att använda subclass of (P279) skulle också vara fel då en instans av human brain (Q492038) (t.ex. Albert Einstein's brain (Q2464312)) inte är en instans av klassen Homo sapiens (Q15978631).
Liksom subclass of (P279) är part of (P361) en transitiv egenskap.
<span id="Inverse_relations_of_part of (P361)">
Omvända relationer av part of (P361)
- has part(s) (P527) - används för att säga att en instans består av andra instanser eller att en klass består av andra klasser
- has part(s) of the class (P2670) - betecknar att en instans (aldrig en klass) består av klasser. Om föräldraobjektet både är en instans och en klass ska inte has part(s) of the class (P2670) användas.
Exempelvis,
- Greek alphabet (Q8216) has part(s) (P527) Α (Q9887) (instans-instans)
- alphabet (Q9779) has part(s) (P527) letter (Q9788) (klass-klass)
- Greek alphabet (Q8216) has part(s) of the class (P2670) Greek letter (Q19793459) (instans-klass)
I första exemplet används has part(s) (P527) då Greek alphabet (Q8216) har en del Α (Q9887). has part(s) (P527) används också i andra exemplet då alphabet (Q9779) har delar av letter (Q9788) som komponenter. I sista exemplet har vi has part(s) of the class (P2670) då Greek alphabet (Q8216) har fler instanser av Greek letter (Q19793459) som delar.
Exempel
instance of (P31) vs. subclass of (P279) vs. part of (P361)
Property | X | Y | vad det betyder | exempel | förklaring | varför inte använda... |
---|---|---|---|---|---|---|
<X> instance of <Y> | instans | klass |
|
<USS Nimitz> instance of <supercarrier> | <USS Nimitz> är ett enskilt konkret hangarfartyg, <supercarrier> är en hangarfartyg-klass som kan ha många instanser (hangarfartyg) |
|
<People's Republic of China> instance of <sovereign state> | <suverän stat> är ett koncept som definieras av vissa kännetecken, <Kina> är ett objekt som uppfyller dessa kännetecken. |
| ||||
<Sun> instance of <G-type main-sequence star> | <Solen> är en specifik stjärna med spektralegenskaperna av en G-typad huvudseriestjärna, och därför en instans av den klassen | * subclass of används inte då <Solen> inte är en klass utan ett enskilt astronomiskt objekt
| ||||
<hatter> instance of <profession> | <hatter> är ett specifikt exempel av yrke |
| ||||
<Douglas Adams> instance of <human> | <Douglas Adams> är en specifik mänsklig person (detta är ett av de vanligaste användningsfallen för instance of) | * subclass of används inte då <Douglas Adams> inte är en klass av människor utan en enskild person (instans)
| ||||
<X> subclass of <Y> | klass | klass |
|
<supercarrier> subclass of <aircraft carrier> | både <supercarrier> och <hangarfartyg> är klasser och den andra innehåller den första |
|
<sovereign state> subclass of <state> | båda är klasser, den första har alla kännetecken som finns hos den andra plus några ytterligare kännetecken, så den är en underklass av den andra |
| ||||
<G-type star> subclass of <star> | varje individuell G-klassad stjärna (instanser av <G-class star>) är också en stjärna - t.ex. tillhör klassen <stjärna> | * instance of används inte då <G-class star> inte är en enskild stjärna utan en typ av <stjärna>
| ||||
<X> part of <Y> | instans | instans |
|
<USS Nimitz> part of <Carrier Strike Group Eleven> | <USS Nimitz> är ett konkret hangarfartyg, <Carrier Strike Group Eleven> är en konkret stridsgrupp, <USS Nimitz> är en av komponenterna i <Carrier Strike Group Eleven> (dess flaggskepp) |
|
<People's Republic of China> part of <Asia> | både <Kina> och <Asien> är specifika geografiska områden, <Kina> är del av kontinenten <Asien> |
| ||||
<Sun> part of <Solar System> | båda är individuella astronomiska objekt; solsystemet består av solen, planeter och andra föremål i solens närhet | * instance of används inte då den andra är ett individuellt astronomiska objekt, inte ett generiskt koncept
| ||||
klass | klass | en instans av klass X är del av en instans av klass Y | <flight deck> part of <aircraft carrier> | Varje hangarfartyg (instans av <hangarfartyg>) har sitt egna flygdäck (instans av <flygdäck>) |
| |
<member state> part of <international organization> | en instans av <medlemsstat> är en komponent av en instans av <internationell organisation> |
| ||||
<star> part of <galaxy> | en stjärna är typiskt född och finns i en enda galax som består av många stjärnor och andra astronomiska objekt |
| ||||
|
has part(s) (P527) vs. has part(s) of the class (P2670)
Här är tabellen som förklarar skillnaden mellan has part(s) (P527) och has part(s) of the class (P2670).
has part(s) (P527) används för klass-klass- och instans-instans-förhållanden.
has part(s) of the class (P2670) används för instans-klass-förhållanden. Ser du en begränsningsöverträdelse på ett objekt med has part(s) of the class (P2670)...
- Om objektet är en klass och har subclass of (P279) borde den använda has part(s) (P527) istället för has part(s) of the class (P2670), även om den också har instance of (P31).
- Objektet kan av misstag vara en klass och borde istället vara en instans. Ta bort subclass of (P279) och se till att den har en riktig instance of (P31).
Property | X | Y | vad det betyder | exempel | förklaring | varför inte använda... |
---|---|---|---|---|---|---|
<X> has part(s) <Y> | instans | instans | instans X har instans Y bland dess delar eller komponenter | <United States Congress> has part(s) <United States Senate> | USA:s kongress har två delar, representanthuset och senaten |
|
<Solar System> has part(s) <Mars> | <Mars> är en av planeterna i <solsystemet> |
| ||||
klass | klass | en instans av X har en instans av Y bland dess delar eller komponenter | <body> has part(s) <head> | i allmänhet har en <kropp> (anatomisk beskrivning) ett <huvud> som en av dess delar |
| |
<galaxy> has part(s) <star> | en <galax> har <stjärnor> som en del av dess delar |
| ||||
<X> has part(s) of the class <Y> | instans | klass | det specifika objektet X innefattar vissa förekomster av klass Y bland dess delar eller komponenter | <University of Cambridge> has part(s) of the class <college of the University of Cambridge> | <Universitetet i Cambridge> har högskolor som delar |
|
<Solar System> has part(s) of the class <inner planet of the Solar System> | vårt <solsystem> har en eller fler <inre planeter> i sig |
| ||||
<Albert Einstein> has part(s) of the class <human brain> | <Albert Einstein> hade en <mänsklig hjärna> som en del |
|
Sökfrågor
Wikidata-sökfrågor kan användas för att hitta medlemmar av en viss klass, till exempel alla underklasser av "litterärt verk"; en Wikidata-frågebyggare finns tillgänglig.
Se även
Referenser
- ↑ 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
Externa länkar
- Konceptuell modellering i flera nivåer: teori och tillämpning — förklarar skillnaden mellan instance of (P31) och subclass of (P279) under det konceptuella ramverket av konceptuell modellering i flera nivåer. Hoppa till del 4 för innehåll som rör Wikidata.
- Samlingar och individer — förklarar skillnaden mellan instance of (P31) and subclass of (P279) (kopplat till kunskapsbanken för Cyc (Q1147294))