Help:Grundläggande medlemsegenskaper

From Wikidata
Jump to navigation Jump to search
This page is a translated version of the page Help:Basic membership properties and the translation is 99% complete.

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

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:

  • 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:

Annat exempel:

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:

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)

  1. 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
  2. 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,

I första exemplet används has part(s) (P527)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)Greek alphabet (Q8216) har fler instanser av Greek letter (Q19793459) som delar.

Exempel

instance of (P31) vs. subclass of (P279) vs. part of (P361)

Skillnader mellan instance of (P31), subclass of (P279) och part of (P361)
Property X Y vad det betyder exempel förklaring varför inte använda...
<X> instance of <Y> instans klass
  • X är en individuell (enskild sak) tillhörande klass Y
  • X är en ett specifikt exempel på klass Y
  • alla instanser av klass Y delar vissa kännetecken
  • Y är en samling av instanser (inklusive X)
<USS Nimitz> instance of <supercarrier> <USS Nimitz> är ett enskilt konkret hangarfartyg, <supercarrier> är en hangarfartyg-klass som kan ha många instanser (hangarfartyg)
  • subclass of används inte då <USS Nimitz> inte är en klass
  • part of används inte då <USS Nimitz> är en instans och <supercarrier> är en klass, instanser kan inte vara en del av klasser
<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.
  • subclass of används inte då <Kina> är en konkret stat
  • part of används inte då instanser inte kan vara del av klasser
<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
  • part of används inte då icke-klasser kan vara del av klasser
<hatter> instance of <profession> <hatter> är ett specifikt exempel av yrke
  • subclass of används inte då <hatter> inte är en klass av yrke utan ett enskilt yrke (instans)
  • part of används inte då instanser inte kan vara del av klasser
<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)
  • part of används inte då instanser inte kan vara del av klasser
<X> subclass of <Y> klass klass
  • alla instanser av klass X tillhör klass Y
  • instanser av X är även instanser av Y
<supercarrier> subclass of <aircraft carrier> både <supercarrier> och <hangarfartyg> är klasser och den andra innehåller den första
  • instance of används inte då <supercarrier> inte är ett konkret objekt
  • part of används inte då en instans av <supercarrier> (t.ex. <USS Nimitz>) inte kan vara del av en instans av hangarfartyg (t.ex. <USS Enterprise>)
<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
  • instance of används inte då <suverän stat> inte är en specifik stat, utan en klass som innehåller alla suveräna stater
  • part of används inte då en instans av den suveräna staten (t.ex. <Kina>) inte kan vara del av en instans av stat (t.ex. <Kina>)
<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>
  • part of används inte då relationen inte är en komposition, d.v.s. enskilda instanser av <G-class star> går inte samman för att skapa en instans av en <stjärna>.
<X> part of <Y> instans instans
  • instans X är en del av instans Y
  • olika delar av Y (inklusive X) kombineras för att bilda hela Y
<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)
  • instance of används inte då <Carrier Strike Group Eleven> inte är en klass
  • subclass of används inte då ingen av dem är en klass
<People's Republic of China> part of <Asia> både <Kina> och <Asien> är specifika geografiska områden, <Kina> är del av kontinenten <Asien>
  • instance of används inte då <Asien> är en instans (om <Asiatiskt land> är en klass kan du säga att <Kina> är en instans av <Asiatiskt land>)
  • subclass of används inte då ingen av dem är en klass
<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
  • subclass of används inte då ingen av dem är en klass
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>)
  • instance of används inte då <flygdäck> är en klass, inte en instans (enbart ett specifikt flygdäck, så som <flygdäck för USS Nimitz>, kan vara en instans)
  • subclass of används inte då en instans av den första (t.ex. <flygdäck för USS Nimitz>) inte kan vara samma sak som en instans av den andra (t.ex. <USS Nimitz>)
<member state> part of <international organization> en instans av <medlemsstat> är en komponent av en instans av <internationell organisation>
  • instance of används inte då den första är ett koncept, indikerar ingen specifik stat (t.ex. <Kina>)
  • subclass of används inte då en instans av <medlemsstat> inte tillhör klassen <internationell organisation> (t.ex. Kina är inte en 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
  • instance of används inte då <stjärna> inte är ett exempel på en <galax>
  • subclass of används inte då instanser av klassen <stjärna> inte är instanser of klassen <galax>
  • Obs! En del exempel ovan är endast för demonstration som inte får användas i Wikidata eftersom det finns mer specifika relationer som ska användas (t.ex. använd "<Kina> kontinent <Asien>" i stället för "<Kina> del av <Asien>").

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)...

Skillnader mellan has part(s) (P527) och has part(s) of the class (P2670)
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
  • has part(s) of the class används inte då <USA:s kongress> and <USA:s senat> är konkreta objekt
<Solar System> has part(s) <Mars> <Mars> är en av planeterna i <solsystemet>
  • has part(s) of the class används inte då <solsystemet> och <Mars> är konkreta objekt
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
  • has part(s) of the class används inte då <kropp> och <huvud> båda är klasser
<galaxy> has part(s) <star> en <galax> har <stjärnor> som en del av dess delar
  • has part(s) of the class används inte då <galax> och <stjärna> båda är klasser
<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
  • has part(s) används inte då <Universitetet i Cambridge> inte har klassen <college of the University of Cambridge> som del utan 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
  • has part(s) används inte då <solsystem> inte har klassen <inre planet> utan istället har planeter som delar
<Albert Einstein> has part(s) of the class <human brain> <Albert Einstein> hade en <mänsklig hjärna> som en del
  • has part(s) används inte för att <mänsklig hjärna> är en klass, inte en instans, även mo den bara skulle ha en.

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.

navigering

Se även


Referenser

  1. https://www.w3.org/TR/rdf-schema/#ch_type
  2. https://www.w3.org/TR/rdf-schema/#ch_subclassof
  3. https://www.w3.org/TR/rdf-schema/#ch_subclassof


Externa länkar