Axuda:Propiedades básicas de pertenza
Esta páxina en resumo:
|
Introdución
Esta páxina explica as diferenzas entre as propiedades instance of (P31), subclass of (P279) e part of (P361).
Definicións
Para entender as diferenzas é importante ter familiaridade cos termos «instancia» e «clase». Unha clase é unha abstracción que describe a un conxunto (ou colección) de cousas, que reciben o nome de instancias. Normalmente, todas as instancias que pertencen a unha clase comparten un conxunto de propiedades que caracterizan á clase.
If all the instances of class A necessarily also belong to class B, then we say A is a subclass of B.
Exemplos
- clase human (Q5) con instancias Abraham Lincoln (Q91), Mahatma Gandhi (Q1001), Isaac Newton (Q935), etc.
- clase lighthouse (Q39715) con instancias Amrum Lighthouse (Q20669), Lighthouse of Alexandria (Q43244), etc.
- clase ocean (Q9430) con instancias Atlantic Ocean (Q97), Pacific Ocean (Q98), etc.
- clase public election (Q40231) con instancia 2016 Taiwanese presidential election (Q20683626), etc.
Aspectos prácticos
- Un elemento pode ser perfectamente instancia e clase ao mesmo tempo. Un elemento é unha instancia só por mor de ter unha propiedade instance of (P31). De igual forma, un elemento é unha clase simplemente por ser o valor asociado coa propiedade instance of (P31) doutro elemento (ou por mor de ter unha propiedade subclase).
- O conxunto completo de instancias implicadas por unha clase pode existir, ou non existir, no Wikidata.
- Se desde unha perspectiva lóxica, todos os elementos que conceptualmente pertencen á clase A (estén instanciados no Wikidata ou non) deben pertencer á clase B, a relación entre A e B chámase subclase de. Dicimos que A é unha subclase de B.
A relación entre instancias cunha característica común e unha clase baseada nela realízase coa propiedade instance of (P31). Usamos instance of (P31) en lugar de subclass of (P279) cando non podemos inferir nada sobre estas instancias dentro desta relación. Concretamente trátase dun rdf:type.[1]
Por exemplo, tanto Atlantic Ocean (Q97) como Pacific Ocean (Q98) son instancias de ocean (Q9430). Deste xeito escribimos en Wikidata:
- Atlantic Ocean (Q97) instance of (P31) ocean (Q9430);
- Pacific Ocean (Q98) instance of (P31) ocean (Q9430).
Varios exemplos:
- human brain (Q492038) subclass of (P279) brain (Q1073)
- brain (Q1073) subclass of (P279) animal organ (Q24060765)
- animal organ (Q24060765) subclass of (P279) organ (Q712378)
Outro exemplo:
- clase lake (Q23397) con instancias Lake Baikal (Q5513) e Lake Erie (Q5492);
- clase ocean (Q9430) con instancias Atlantic Ocean (Q97) e Pacific Ocean (Q98).
Un lago e un océano non son o mesmo, pero as instancias de ámbalas dúas teñen en común a carecterística de ser un corpo de auga. Polo tanto, podemos usar a clase body of water (Q15324) para declarar que:
- lake (Q23397) subclass of (P279) body of water (Q15324);
- ocean (Q9430) subclass of (P279) body of water (Q15324).
Agora Lake Baikal (Q5513), Lake Erie (Q5492), Atlantic Ocean (Q97) e Pacific Ocean (Q98) serán instancias «transitivas» (indirectas) de body of water (Q15324). En xeral, podemos usar obxectos máis abstractos (como body of water (Q15324)) que as enumeracións (lake (Q23397) y ocean (Q9430)) en: 1. declaracións e 2. preguntas (non cubertas por esta páxina de axuda).
Propiedades transitivas
subclass of (P279) é transitive Wikidata property (Q18647515), o que significa que se un elemento A é unha instancia da clase B, e a clase B é unha subclase de clase C, o elemento A é, implícitamente, tamén unha instancia da clase C. Non hai necesidade, xeralmente, de engadir unha afirmación para a relación A→C en 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.
Por exemplo, Lighthouse of Alexandria (Q43244) é unha isntancia de lighthouse (Q39715) e lighthouse (Q39715) é unha subclase de tower (Q12518). Lighthouse of Alexandria (Q43244) é , x a que logo, unha instancia de 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.
Os elementos non poden ser instancias doutra no-clase, pero poden ser participar parcialmente doutra. Por exemplo, Albert Einstein's brain (Q2464312) é unha parte de Albert Einstein (Q937). En Wikidata usamos part of (P361) para indicar esta relación.
As clases poden ser parte tamén doutra clase. Por exemplo:
O uso de instance of (P31) no canto de part of (P361) sería un erro aquí, porque human brain (Q492038) non é unha persoa. Usar subclass of (P279) tampouco sería correcto, porque unha instancia de human brain (Q492038) (como Albert Einstein's brain (Q2464312)) non é unha instancia da clase Homo sapiens (Q15978631).
Ao igual que subclass of (P279), part of (P361) é unha propiedade transitiva.
<span id="Inverse_relations_of_part of (P361)">
Relacións inversas para part of (P361)
- has part(s) (P527) - utilízase para dicir que unha instancia ten parte doutra instancia ou que instancias desta clase teñen como parte a unha instancia doutra clase
- has part(s) of the class (P2670) - utilízase para dicir que unha instancia ten como parte unha instancia dunha clase
Por exemplo,
- Greek alphabet (Q8216) has part(s) (P527) Α (Q9887) (instancia-instancia)
- alphabet (Q9779) has part(s) (P527) letter (Q9788) (clase-clase)
- Greek alphabet (Q8216) has part(s) of the class (P2670) Greek letter (Q19793459) (instancia-clase)
No primer exemplo, utilízase has part(s) (P527) porque Α (Q9887) forma parte de Greek alphabet (Q8216). has part(s) (P527) tamén se utiliza no segundo exemplo porque as instancias de letter (Q9788) forman parte das instancias de alphabet (Q9779). No último exemplo, escollemos has part(s) of the class (P2670) porque as instancias de Greek letter (Q19793459) forman parte das instancias de Greek alphabet (Q8216).
Exemplos
Property | X | Y | Que indica que | exemplo | Explicación | Por que non se usa.... |
---|---|---|---|---|---|---|
<X> instance of <Y> | instancia | clase |
|
<USS Nimitz> instance of <supercarrier> | <USS Nimitz> is a single concrete aircraft carrier, <supercarrier> is an aircraft carrier class which has many instances (aircraft carriers) |
|
<People's Republic of China> instance of <sovereign state> | <estado soberano> é un concepto definido por algunhas características, <China> é un obxecto que comparte esas características |
| ||||
<Sun> instance of <G-type main-sequence star> | O <Sol> é unha estrela específica con características espectrais dunha estrela de tipo G da secuencia principal, e iso faino unha instancia desa clase | * subclass of non se usa porque o <Sol> non é unha clase, senón un obxecto astronómico concreto.
| ||||
<hatter> instance of <profession> | <hatter> e un exemplo concreto dunha profesión. |
| ||||
<Douglas Adams> instance of <human> | <Douglas Adams> é unha persoa concreta (esta é un dos casos máis comúns de uso da propiedade instance of) | * subclass of non se usa porque <Douglas Adams> non é unha clase de persoas, senón unha única persoa (instancia)
| ||||
<X> subclass of <Y> | clase | clase |
|
<supercarrier> subclass of <aircraft carrier> | tanto <supercarrier> como <aircraft carrier> son clases; a última contén á primeira. |
|
<sovereign state> subclass of <state> | Ambas as dúas son clases. A primeira ten todas as características da última e algunhas características engadidadas, así que é unha subclase da última. |
| ||||
<G-type star> subclass of <star> | cada estrela individual de tipo G (instancias de <estrela de tipo G>) é tamén unha estrela, isto é, pertence á clase <estrela> | * instance of non usado porque <estrela de tipo G> non é unha estrela individual, senón un tipo de <estrela>
| ||||
<X> part of <Y> | instancia | instancia |
|
<USS Nimitz> part of <Carrier Strike Group Eleven> | <USS Nimitz> é un portaavións concreto, <CSG-11> é un grupo concreto de portaavións de ataque, <USS Nimitz> é un dos compoñentes do <CSG-11> (a súa nave insignia) |
|
<People's Republic of China> part of <Asia> | a <China> y <Asia> son ambos lugares xeográficos, a <China> é parte do continente <Asia> |
| ||||
<Sun> part of <Solar System> | ambos son obxectos astronómicos individuais; o sistema solar está composto polo Sol, os planetas e outros obxectos preto do Sol | * instance of non usado porque o segundo é un obxecto astronómico individual, non un concepto xeral
| ||||
clase | clase | unha instancia da clase X é parte dunha instancia da clase Y | <flight deck> part of <aircraft carrier> | todos os portaavións (instancias de <portaavión>) teñen a súa propia cuberta de voo (instancias de <cuberta de voo>) |
| |
<member state> part of <international organization> | unha instancia de <estado membro> é un compoñente dunha instancia de <organización internacional> |
| ||||
<star> part of <galaxy> | unha estrela nace e vive tipicamente dentro dunha única galaxia, que está composta de moitas estrelas e outros obxectos astronómicos |
| ||||
|
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 | o que denota | exemplo | Explicación | Por que non utilizar ... |
---|---|---|---|---|---|---|
<X> has part(s) <Y> | instancia | instancia | a instancia X ten a instancia Y entre as súas partes ou compoñentes | <United States Congress> has part(s) <United States Senate> | o Congreso dos EE.UU. ten dúas partes, a Cámara de Representantes e o Senado |
|
<Solar System> has part(s) <Mars> | <Marte> é un dos planetas no <sistema solar> |
| ||||
clase | clase | unha instancia de X ten unha instancia de Y entre as súas partes ou compoñentes | <body> has part(s) <head> | en xeral unha das partes do <corpo> (no seu sentido anatómico) é unha <cabeza> |
| |
<galaxy> has part(s) <star> | unha das partes dunha <galaxia> son as <estrelas> |
| ||||
<X> has part(s) of the class <Y> | instancia | clase | o elemento específico X inclúe algunha instancia de clase Y entre as súas partes ou compoñentes | <University of Cambridge> has part(s) of the class <college of the University of Cambridge> | a <Universidad de Cambridge> ten colleges como partes |
|
<Solar System> has part(s) of the class <inner planet of the Solar System> | o noso <sistema solar> ten un ou máis <planetas interiores> entre as súas partes |
| ||||
<Albert Einstein> has part(s) of the class <human brain> | <Albert Einstein> ten un <cerebro humano> como parte |
|
Consultas
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.
navegación
Véxase tamén
Referencias
- ↑ 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
Ligazóns externas
- Modelado Conceptual Multinivel: Teoría e Aplicacións (en inglés): explica as diferencias entre instance of (P31) e subclass of (P279) baixo o mapa conceptual do modelado conceptual multinivel. Véxase o contido sobre Wikidata na parte 4.
- Coleccións e elementos individuais — explica as diferenzas entre differences instance of (P31) e subclass of (P279) (no contexto da Cyc (Q1147294))