Help:Grunnleggende medlemskapsegenskaper

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 56% complete.
Outdated translations are marked like this.

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

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:

  • brukes for å angi at alle forekomstene av en klasse også er forekomster av en annen, mer omfattende klasse.[2]
  • nærmere bestemt er det en rdfs:subClassOf-relasjon[3]

Flere eksempler:

Et annet eksempel:

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:

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

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:

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)

  1. 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
  2. has part(s) of the class (P2670) - angir at en forekomst er laget av andre klasser
  1. 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
  2. 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,

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.

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

Forskjeller mellom instance of (P31), subclass of (P279) og part of (P361)
Property X Y hva det betyr eksempel forklaring hvorfor ikke bruke ...
<X> instance of <Y> forekomst klasse
  • X er en forekomst (én bestemt ting) av en klasse Y
  • X er et spesifikt eksempel på klasse Y
  • alle forekomster av klassen Y deler visse fellestrekk
  • Y er settet av dens forekomster (inkludert X)
<USS Nimitz> instance of <supercarrier> <USS Nimitz> er ett konkret hangarskip, <superhangarskip> er en klasse av hangarskip som har mange forekomster (hangarskip)
  • subclass of kan ikke brukes fordi <USS Nimitz> ikke er en klasse
  • part of kan ikke brukes fordi <USS Nimitz> er en forekomst og <superhangarskip> er en klasse, forekomster kan ikke være bestanddeler av klasser
<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.
  • subclass of kan ikke brukes fordi <Kina> er en konkret stat
  • part of kan ikke brukes fordi forekomster ikke kan være deler av klasser
<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
  • part of kan ikke brukes fordi ikke-klasser ikke kan være deler av klasser
<hatter> instance of <profession> <hatter> er et bestemt eksempel på en profesjon
  • subclass of kan ikke brukes fordi <hatter> ikke er en klasse av profesjoner, men én bestemt profesjon (forekomst)
  • part of kan ikke brukes fordi forekomster ikke kan være deler av klasser
<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)
  • part of kan ikke brukes fordi forekomster ikke kan være deler av klasser
<X> subclass of <Y> klasse klasse
  • alle forekomster av klassen X hører til klassen Y
  • forekomster av X er også forekomster av Y
<supercarrier> subclass of <aircraft carrier> både <superhangarskip> og <hangarskip> er klasser og sistnevnte inneholder førstnevnte
  • instance of kan ikke brukes fordi <superhangarskip> ikke er et bestemt objekt
  • part of kan ikke brukes fordi en forekomst av <superhangarskip> (f.eks. <USS Nimitz>) ikke kan være en bestanddel av en forekomst av hangarskip (f.eks. <USS Enterprise>)
<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
  • instance of kan ikke brukes fordi <uavhengig stat> ikke er en bestemt stat, men en klasse som inneholder alle uavhengige stater
  • part of kan ikke brukes fordi en forekomst av uavhengig stat (f.eks. <Kina>) ikke kan være en del av en forekomst av stat (f.eks. <Kina>)
<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>
  • part of kan ikke brukes fordi forholdet ikke er av en slik art – de enkelte G-stjernene er ikke bestanddeler som til sammen danner det vi kaller <stjerne>.
<X> part of <Y> forekomst forekomst
  • forekomst X er en del av forekomst Y
  • ulike deler av Y (inkludert X) danner tilsammen hele Y
<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)
  • instance of kan ikke brukes fordi <CSG-11> ikke er en klasse
  • subclass of kan ikke brukes fordi ingen av dem er en klasse
<People's Republic of China> part of <Asia> både <Kina> og <Asia> er bestemte geografiske objekter, <Kina> er en del av kontinentet <Asia>
  • instance of kan ikke brukes fordi <Asia> er en forekomst (forøvrig er <asiatisk land> en klasse, så du kunne sagt <Kina> er en forekomst av <asiatisk land>)
  • subclass of kan ikke brukes fordi ingen av dem er en klasse
<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
  • subclass of kan ikke brukes fordi ingen av elementene er noen klasse
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>)
  • instance of kan ikke brukes fordi <flydekk> er en klasse, ikke en forekomst (kun et bestemt flydekk, slik som <flydekket til USS Nimitz>, kan være en forekomst)
  • subclass of kan ikke brukes fordi en forekomst av førstnevnte (f.eks. <flydekket til USS Nimitz>) ikke selv kan være en forekomst av sistnevnte (f.eks. <USS Nimitz>)
<member state> part of <international organization> en forekomst av <medlemsstat> er en komponent i en forekomst av <internasjonal organisasjon>
  • instance of kan ikke brukes fordi førstnevnte er et begrep (klasse), ikke et bestemt land (f.eks. <Kina>)
  • subclass of kan ikke brukes fordi en forekomst av <medlemsstat> ikke tilhører klassen <internasjonal organisasjon> (f.eks. er ikke <Kina> en <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.
  • instance of kan ikke brukes fordi <stjerne> ikke er et eksempel på en <galakse>
  • subclass of kan ikke brukes fordi forekomster av klassen <stjerne> ikke er forekomster av klassen <galakse>
  • Merk: noen av eksemplene er kun tatt med i demonstrasjonøyemed og skal ikke finnes på Wikidata fordi det finnes mer spesifikke egenskaper som skal brukes i stedet (bruk f.eks. "<Kina> kontinent <Asia>" fremfor "<Kina> del av <Asia>")

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

Forskjeller mellom has part(s) (P527) og has part(s) of the class (P2670)
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
  • has part(s) of the class kan ikke brukes fordi <Senatet> ikke er en klasse
<Solar System> has part(s) <Mars> <Mars> er en av planetene i <solsystemet>
  • has part(s) of the class kan ikke brukes fordi <Mars> ikke er en klasse
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
  • has part(s) of the class kan ikke brukes fordi <hode> ikke er en forekomst
<galaxy> has part(s) <star> en <galakse> har <stjerner> blant sine bestanddeler
  • has part(s) of the class kan ikke brukes fordi <stjerne> ikke er en forekomst
<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
  • has part(s) kan ikke brukes fordi <kollegium ved University of Cambridge> ikke er en forekomst
<Solar System> has part(s) of the class <inner planet of the Solar System> <Solsystemet> vårt har <indre planeter> blant sine bestanddeler
  • has part(s) kan ikke brukes fordi <indre planeter> ikke er en forekomst
<Albert Einstein> has part(s) of the class <human brain> <Albert Einstein> had a <human brain> as a part
  • has part(s) not used because <human brain> is a class, not an instance, even if he had just one.

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



Eksterne lenker