Ayuda:Propiedades básicas de membresía
En pocas palabras:
|
Introducción
Esta página explica las diferencias entre las propiedades instance of (P31), subclass of (P279) y part of (P361).
Definiciones
Para entender las diferencias, es importante estar familiarizado con los términos "instancia" y "clase". Una clase es una abstracción que describe un conjunto (o colección) de cosas, llamadas sus instancias. Normalmente, todas las instancias que pertenecen a una clase comparten un conjunto de propiedades que caracterizan a la clase.
Si todas las instancias de la clase A necesariamente también pertenecen a la clase B, entonces decimos que A es una "subclase" de B.
Ejemplos
- La clase human (Q5) con las instancias Abraham Lincoln (Q91), Mahatma Gandhi (Q1001), Isaac Newton (Q935), etc.
- La clase lighthouse (Q39715) con las instancias Amrum Lighthouse (Q20669), Lighthouse of Alexandria (Q43244), etc.
- La clase ocean (Q9430) con las instancias Atlantic Ocean (Q97), Pacific Ocean (Q98), etc.
- La clase public election (Q40231) con la instancia 2016 Taiwanese presidential election (Q20683626), etc.
Aspectos prácticos
- Un elemento puede ser una instancia y una clase al mismo tiempo. Un elemento es una instancia si tiene la propiedad instance of (P31). Un elemento es una clase si es el valor asociado con la propiedad instance of (P31) de otro elemento (o si tiene la propiedad subclass of (P279)). Por ejemplo, Angela Merkel (Q567) es una instancia de politician (Q82955), y politician (Q82955) es una instancia de profession (Q28640). Por lo tanto el elemento politician (Q82955) es tanto una clase y una instancia.
- El conjunto completo de instancias implicadas por una clase puede o no existir como elementos en Wikidata.
- Normalmente, una clase se caracteriza por un conjunto de propiedades compartidas por todas las instancias. Las instancias difieren de las otras en los valores que ellas tienen para esas propiedades, pero no en el hecho de tener las propiedades ellas mismas (aunque esto no es forzado por Wikidata).
La relación entre instancias con una característica en común y una clase caracterizada por esta es producida con la propiedad instance of (P31). Se usa instance of (P31) en lugar de subclass of (P279) cuando no se puede decir algo sobre instancias con tal relación. Más específicamente, es un rdf:type.[1]
Por ejemplo Atlantic Ocean (Q97) y Pacific Ocean (Q98) son ambos instancias de ocean (Q9430). Entonces en Wikidata escribimos:
- Se usa para declarar que todas las instancias de una clase son instancias de otra[2]
- Más específicamente, en una rdfs:subClassOf[3]
Algunos ejemplos:
- human brain (Q492038) subclass of (P279) brain (Q1073)
- brain (Q1073) subclass of (P279) animal organ (Q24060765)
- animal organ (Q24060765) subclass of (P279) organ (Q712378)
Otro ejemplo:
- La clase lake (Q23397) con las instancias Lake Baikal (Q5513) y Lake Erie (Q5492);
- La clase ocean (Q9430) con las instancias Atlantic Ocean (Q97) y Pacific Ocean (Q98).
Un lago y un océano no son lo mismo pero todas las instancias comparten la misma característica de ser un cuerpo de agua. Entonces podemos utilizar la clase body of water (Q15324) para decir:
- lake (Q23397) subclass of (P279) body of water (Q15324);
- ocean (Q9430) subclass of (P279) body of water (Q15324).
Ahora Lake Baikal (Q5513), Lake Erie (Q5492), Atlantic Ocean (Q97) y Pacific Ocean (Q98) serán instancias "transitivas" (indirectas) de body of water (Q15324). En general podemos usar objetos más abstractos (como body of water (Q15324)) que las enumeraciones (lake (Q23397) y ocean (Q9430)) en: 1. las declaraciones y 2. las preguntas (no cubierto en esta página)
Propiedades Transitivas
La propiedad subclass of (P279) es un transitive Wikidata property (Q18647515). Esto significa que: si una clase A es una subclase de B, y B es una subclase de C, entonces A es implícitamente también una subclase de C. Por lo tanto, no hay por lo general necesidad de añadir una declaración explícita en Wikidata declarando que A sea una subclase de C.
Por ejemplo, tree (Q10884) es una subclase de woody plant (Q757163), y woody plant (Q757163) es una subclase de plant (Q756). Así que tree (Q10884) es implícitamente también una subclase de plant (Q756).
Del mismo modo, si el elemento x es una instancia de clase B, y B es una subclase de clase C, entonces x es implícitamente también una instancia del C. Entonces no hay necesidad general de agregar una declaración explícita a Wikidata declarando x como una instancia de C.
Por ejemplo, Lighthouse of Alexandria (Q43244) es una instancia de lighthouse (Q39715) y lighthouse (Q39715) es una subclase de tower (Q12518). Lighthouse of Alexandria (Q43244) es por tanto una instancia de tower (Q12518).
La propiedad instance of (P31) es no transitiva. Considere el ejemplo de arriba: Angela Merkel (Q567) es una instancia de politician (Q82955), y politician (Q82955) es una instancia de profession (Q28640), pero sería incorrecto decir que Angela Merkel (Q567) es un instancia de profession (Q28640).
Las inferencias basadas en la transitividad no tienen en cuenta los calificadores, por lo que las declaraciones instance of (P31) y subclass of (P279) deben ser válidas ignorando cualquier calificador; en otras palabras, estas declaraciones no deben tener ningún restrictive qualifier (Q61719275), o cualquier calificador que se esté utilizando de manera restrictiva. Por ejemplo, si A es a menudo, pero no siempre, una subclase de B, entonces no es válido afirmar que A es una subclase de B con nature of statement (P5102) = often (Q28962312), porque esto llevará a inferencias falsas.
Los elementos no pueden ser instancia de otro elemento sin clase, pero pueden ser parte de otro. Por ejemplo Albert Einstein's brain (Q2464312) es una parte de Albert Einstein (Q937). En Wikidata usamos part of (P361) para esta relación.
Las clases pueden ser también parte de otra clase. Por ejemplo,
El uso de instance of (P31) en lugar de part of (P361) sería incorrecto aquí porque human brain (Q492038) no es una persona. Usando subclass of (P279) podría ser incorrecto porque una instancia de human brain (Q492038) (por ejemplo Albert Einstein's brain (Q2464312)) no es una instancia de la clase Homo sapiens (Q15978631).
Como subclass of (P279), part of (P361) es una propiedad transitiva.
<span id="Inverse_relations_of_part of (P361)">
Relaciones inversas de part of (P361)
- has part(s) (P527) - se utiliza para decir que una instancia tiene parte de otra instancia o que instancias de esa clase tienen como parte una instancia de otra clase
- has part(s) of the class (P2670) - se utiliza para decir que una instancia (nunca una clase) tiene como parte una instancia de una clase. Si el elemento padre es tanto una instancia como una clase, no se debe usar has part(s) of the class (P2670).
Por ejemplo,
- 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)
En el primer ejemplo, has part(s) (P527) se utiliza porque Α (Q9887) forma parte de Greek alphabet (Q8216). has part(s) (P527) también se utiliza en el segundo ejemplo porque las instancias de letter (Q9788) forman parte de las instancias de alphabet (Q9779). En el último ejemplo, cogemos has part(s) of the class (P2670) ya que Greek alphabet (Q8216) tiene una o más instancia de Greek letter (Q19793459) como partes.
Ejemplos
instance of (P31) vs. subclass of (P279) vs. part of (P361)
Property | X | Y | lo que denota | ejemplo | explicación | Por qué no utilizar ... |
---|---|---|---|---|---|---|
<X> instance of <Y> | instancia | clase |
|
<USS Nimitz> instance of <supercarrier> | <USS Nimitz> es un portaaviones concreto, <superportaaviones> es una clase de portaaviones que tiene muchas instancias (portaaviones) |
|
<People's Republic of China> instance of <sovereign state> | <estado soberano> es un concepto definido por ciertas características, <China> es un objeto que cumple esas características |
| ||||
<Sun> instance of <G-type main-sequence star> | El <Sol> es una estrella específica con características espectrales de una estrella de tipo G de la secuencia principal, y eso lo hace una instancia de esa clase | * subclass of no es usado porque el <Sol> no es una clase pero sí es un objeto astronómico singular
| ||||
<hatter> instance of <profession> | <hatter> es un ejemplo específico de profesión |
| ||||
<Douglas Adams> instance of <human> | <Douglas Adams> es una persona humana específica (este es uno de los casos más comunes de instance of) | * subclass of no es usado porque <Douglas Adams> no es una clase de persona, pero es una persona individual (instancia)
| ||||
<X> subclass of <Y> | clase | clase |
|
<supercarrier> subclass of <aircraft carrier> | Tanto <superportaaviones> y <portaaviones> son clases y esta última puede contener a la anterior. |
|
<sovereign state> subclass of <state> | Ambos son clases, el primero tiene todas las características del segundo y algunas características adicionales, así que es una subclase de este último |
| ||||
<G-type star> subclass of <star> | Cada estrella individual de tipo G (instancias de <estrella de tipo G>) es también una estrella; es decir, pertenece a la clase <estrella> | * instance of no usado porque <estrella de tipo G> no es una estrella individual, sino un tipo de <estrella>
| ||||
<X> part of <Y> | instancia | instancia |
|
<USS Nimitz> part of <Carrier Strike Group Eleven> | <USS Nimitz> es un portaaviones concreto, <Grupo de Ataque de Portaaviones 11> es un grupo de ataque de portaaviones concreto, <USS Nimitz> es uno de los componentes de <Grupo de Ataque de Portaaviones 11> (su nave insignia) |
|
<People's Republic of China> part of <Asia> | <China> y <Asia> ambos son conceptos geográficos, <China> es parte del continente <Asia> |
| ||||
<Sun> part of <Solar System> | ambos son objetos astronómicos individuales; el sistema solar está compuesto por el Sol, los planetas y otros objetos cercanos al Sol | * instance of no usado porque el segundo es un objeto astronómico individual, no un concepto genérico
| ||||
clase | clase | una instancia de la clase X es parte de una instancia de la clase Y | <flight deck> part of <aircraft carrier> | todos los portaaviones (instancias de <portaaviones>) tienen su propia cubierta de vuelo (instancias de <cubierta de vuelo>) |
| |
<member state> part of <international organization> | una instancia de <estado miembro> es un componente de una instancia <organización internacional> |
| ||||
<star> part of <galaxy> | una estrella nace y vive típicamente dentro de una única galaxia, que está compuesta de muchas estrellas y otros objetos astronómicos |
| ||||
|
has part(s) (P527) vs. has part(s) of the class (P2670)
Aquí hay una tabla que explica la diferencia entre has part(s) (P527) y has part(s) of the class (P2670).
Se debe usar has part(s) (P527) para relaciones clase-clase e instancia-instancia.
has part(s) of the class (P2670) debería usarse para las relaciones instancia-clase. Si ves una violación de restricción en un artículo con $P2670...
- Si el elemento es una clase y tiene la subclass of (P279), debe usar has part(s) (P527) en lugar de has part(s) of the class (P2670), incluso si también tiene instance of (P31).
- El elemento puede ser erróneamente una clase y debería ser una instancia. Retira subclass of (P279) y asegúrate de que tiene una instance of (P31) correcta.
Property | X | Y | lo que denota | ejemplo | explicación | Por qué no utilizar ... |
---|---|---|---|---|---|---|
<X> has part(s) <Y> | instancia | instancia | la instancia X tiene la instancia Y entre sus partes o componentes | <United States Congress> has part(s) <United States Senate> | el Congreso de los EE.UU. tiene dos partes, la Cámara de Representantes y el Senado |
|
<Solar System> has part(s) <Mars> | <Marte> es uno de los planetas en el <sistema solar> |
| ||||
clase | clase | una instancia de X tiene una instancia de Y entre sus partes o componentes | <body> has part(s) <head> | en general una de las partes del <cuerpo> (en su sentido anatómico) es una <cabeza> |
| |
<galaxy> has part(s) <star> | una de las partes de una <galaxia> son las <estrellas> |
| ||||
<X> has part(s) of the class <Y> | instancia | clase | el elemento específico X incluye alguna instancia de clase Y entre sus partes o componentes | <University of Cambridge> has part(s) of the class <college of the University of Cambridge> | la <Universidad de Cambridge> tiene colleges como partes |
|
<Solar System> has part(s) of the class <inner planet of the Solar System> | nuestro <sistema solar> tiene uno o más <planetas interiores> entre sus partes |
| ||||
<Albert Einstein> has part(s) of the class <human brain> | <Albert Einstein> tiene un <cerebro humano> como parte |
|
Consultas
Se puede utilizar Special:MyLanguage/Wikidata:SPARQL query service/Wikidata Query Help Wikidata Queries para encontrar miembros de una clase dada, por ejemplo todas las subclases de "Literary Work"; un constructor de consultas Wikidata está disponible para ayudar.
Véase tambié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
Enlaces externos
- Modelado Conceptual Multinivel: Teoría y Aplicaciones (en inglés): explica las diferencias entre instance of (P31) y subclass of (P279) bajo el mapa conceptual del modelado conceptual multinivel. Véase el contenido sobre Wikidata en la parte 4.
- Colecciones e individuos (en inglés): explica las diferencias entre instance of (P31) y subclass of (P279) (en el contexto de la base de conocimiento de Cyc (Q1147294))