Help:Podstawowe asocjacje właściwości
 | W skrócie:
|
Wprowadzenie
Ta strona wyjaśnia różnice pomiędzy właściwościami instance of (P31), subclass of (P279) i part of (P361).
Definicje
Aby zrozumieć różnice, ważne jest, aby znać terminy instancja i klasa. Klasa to abstrakcja opisująca zestaw (lub zbiór) obiektów, nazywanych jej instancjami. Zwykle wszystkie instancje należące do klasy mają wspólny zestaw właściwości, które charakteryzują klasę.
Jeśli wszystkie instancje klasy A koniecznie należą również do klasy B, wówczas mówimy, że A jest podklasą B.
Przykłady
- klasa human (Q5) z instancjami Abraham Lincoln (Q91), Mahatma Gandhi (Q1001), Isaac Newton (Q935) itd.
- klasa lighthouse (Q39715) z instancjami Amrum Lighthouse (Q20669) i Lighthouse of Alexandria (Q43244) itd.
- klasa ocean (Q9430) z instancjami Atlantic Ocean (Q97) i Pacific Ocean (Q98) itd.
- klasa public election (Q40231) z instancją 2016 Taiwanese presidential election (Q20683626) itd.
Aspekty praktyczne
- Nic nie zabrania elementowi być jednocześnie instancją i klasą. Element jest instancją ze względu na posiadanie właściwości instance of (P31). Podobnie, element jest klasą, dlatego że jest powiązany z właściwością instance of (P31) innego elementu (lub posiada właściwość podklasy).
- Kompletny zestaw instancji sugerowanych przez klasę może, ale nie musi, istnieć jako elementy w Wikidanych.
- Jeśli, z logicznego punktu widzenia, wszystkie elementy konceptualnie należące do klasy A (niezależnie od tego, czy są faktycznie tworzone w Wikidanych, czy nie) muszą również należeć do klasy B, to relacja między A i B nazywana jest „podklasą”. Mówimy, że A jest podklasą B.
The relation between instances with a common feature and a class characterized by this feature is produced with the property instance of (P31). We use instance of (P31) instead of subclass of (P279) when we cannot say anything about instances with such relation. More specifically, it is an rdf:type.[1]
Na przykład Atlantic Ocean (Q97) i Pacific Ocean (Q98) są instancjami ocean (Q9430). W Wikidanych piszemy zatem:
- Is used to state that all the instances of one class are instances of another[2]
- More specifically, it is an rdfs:subClassOf[3]
- If any instances of the subject class are not instances of the value class, subclass of (P279) is not appropriate. partially coincident with (P1382) may be used to link overlapping classes where neither is a strict subclass of the other.
Kilka przykładów:
- human brain (Q492038) subclass of (P279) brain (Q1073)
- brain (Q1073) subclass of (P279) animal organ (Q24060765)
- animal organ (Q24060765) subclass of (P279) organ (Q712378)
Inny przykład:
- klasa lake (Q23397) z instancjami Lake Baikal (Q5513) i Lake Erie (Q5492);
- klasa ocean (Q9430) z instancjami Atlantic Ocean (Q97) i Pacific Ocean (Q98).
Jezioro i ocean to nie to samo, ale wszystkie ich instancje mają wspólną cechę bycia zbiornikiem wodnym. Dlatego możemy użyć klasy body of water (Q15324), aby stwierdzić, że:
- lake (Q23397) subclass of (P279) body of water (Q15324);
- ocean (Q9430) subclass of (P279) body of water (Q15324).
Teraz Lake Baikal (Q5513), Lake Erie (Q5492), Atlantic Ocean (Q97) i Pacific Ocean (Q98) będą „przechodnimi” (pośrednimi) wystąpieniami body of water (Q15324). Ogólnie rzecz biorąc, „możemy” użyć bardziej abstrakcyjnych obiektów (takich jak body of water (Q15324)) zamiast wyliczeń (lake (Q23397) i ocean (Q9430)) zarówno w naszych deklaracjach, jak i w naszych zapytaniach (nie omówionych na tej stronie pomocy).
Właściwości przechodnie
Właściwość subclass of (P279) to transitive Wikidata property (Q18647515). To oznacza, że jeśli klasa A jest podklasą klasy B, a klasa B jest podklasą klasy C, wówczas A jest domyślnie podklasą C. Nie ma potrzeby dodawania w Wikidanych wyraźnej deklaracji, że A jest podklasą C.
Na przykład, tree (Q10884) jest podklasą woody plant (Q757163), a woody plant (Q757163) jest podklasą plant (Q756). Zatem tree (Q10884) jest domyślnie również podklasą plant (Q756).
Podobnie, jeśli element x jest instancją klasy B, a B jest podklasą klasy C, to x jest domyślnie również instancją C. Nie ma zatem ogólnej potrzeby dodawania wyraźnej deklaracji w Wikidanych deklarującej x jako instancję C.
Na przykład Lighthouse of Alexandria (Q43244) jest instancją lighthouse (Q39715), a lighthouse (Q39715) jest podklasą tower (Q12518). Lighthouse of Alexandria (Q43244) jest zatem instancją tower (Q12518).
Własność instance of (P31) nie jest przechodnia. Biorąc pod uwagę przykład powyżej: Angela Merkel (Q567) jest instancją politician (Q82955), a politician (Q82955) jest instancją profession (Q28640), ale byłoby błędem stwierdzić, że Angela Merkel (Q567) jest instancją 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.
Elementy nie mogą być instancjami innej nie-klasy, ale mogą być częścią innej nie-klasy. Na przykład Albert Einstein's brain (Q2464312) jest częścią Albert Einstein (Q937). W Wikidanych dla tej relacji używamy part of (P361).
Klasy mogą być również częścią innych klas. Na przykład,
Użycie instance of (P31) zamiast part of (P361) byłoby tutaj niewłaściwe, ponieważ human brain (Q492038) nie jest osobą. Użycie subclass of (P279) byłoby również błędne, ponieważ instancja human brain (Q492038) (np. Albert Einstein's brain (Q2464312)) nie jest instancją klasy Homo sapiens (Q15978631).
Podobnie jak subclass of (P279), part of (P361) jest właściwością przechodnią.
<span id="Inverse_relations_of_part of (P361)">
Relacje odwrotne part of (P361)
- has part(s) (P527) - służy do określenia, że instancja ma jako część inną instancję lub że instancje klasy mają jako część instancję innej klasy
- has part(s) of the class (P2670) - oznacza, że instancja (nigdy klasa) ma jako część instancję klasy. Jeśli element nadrzędny jest jednocześnie instancją i klasą, nie należy używać has part(s) of the class (P2670).
Na przykład,
- Greek alphabet (Q8216) has part(s) (P527) Α (Q9887) (instancja-instancja)
- alphabet (Q9779) has part(s) (P527) letter (Q9788) (klasa-klasa)
- Greek alphabet (Q8216) has part(s) of the class (P2670) Greek letter (Q19793459) (instancja-klasa)
W pierwszym przykładzie użyto has part(s) (P527), ponieważ Greek alphabet (Q8216) ma jako część Α (Q9887). Właściwość has part(s) (P527) została również użyta w drugim przykładzie, ponieważ instancje alphabet (Q9779) mają instancje letter (Q9788) jako części. W ostatnim przykładzie używamy has part(s) of the class (P2670), ponieważ Greek alphabet (Q8216) ma jedno lub więcej instancji Greek letter (Q19793459) jako swoje części.
Przykłady
instance of (P31) vs. subclass of (P279) vs. part of (P361)
| Property | X | Y | co oznacza | przykład | wyjaśnienie | czego nie używać ... |
|---|---|---|---|---|---|---|
| <X> instance of <Y> | instancja | klasa |
|
<USS Nimitz> instance of <supercarrier> | <USS Nimitz> jest pojedynczym konkretnym lotniskowcem, <lotniskowiec> jest klasą lotniskowców, która ma wiele instancji (lotniskowce) |
|
| <People's Republic of China> instance of <sovereign state> | <państwo niepodległe> to pojęcie zdefiniowane przez niektóre cechy, <Chiny> to obiekt, który posiada te cechy |
| ||||
| <Sun> instance of <G-type main-sequence star> | <Słońce> jest konkretną gwiazdą o typie widmowym gwiazdy ciągu głównego typu G, a więc jest instancją tej klasy | * subclass of nie jest używane, ponieważ <Słońce> nie jest klasą, ale pojedynczym obiektem astronomicznym
| ||||
| <hatter> instance of <profession> | <hatter> jest konkretnym przykładem zawodu |
| ||||
| <Douglas Adams> instance of <human> | <Douglas Adams> to konkretna osoba (jest to jeden z najczęstszych przypadków „instance of”) | * subclass of nie jest używane, ponieważ <Douglas Adams> nie jest klasą osób, ale pojedynczą osobą (instancja)
| ||||
| <X> subclass of <Y> | klasa | klasa |
|
<supercarrier> subclass of <aircraft carrier> | zarówno <lotniskowce typu Nimitz> i <lotniskowiec> są klasami i następnik zawiera poprzednika |
|
| <sovereign state> subclass of <state> | Oba te elementy są klasami, poprzednik ma wszystkie cechy następnika i niektóre dodatkowe cechy, więc jest podklasą następnika |
| ||||
| <G-type star> subclass of <star> | każda konkretna gwiazda klasy G (instancje <gwiazda klasy G>) jest również gwiazdą - tzn. należy do klasy <gwiazda> | * instance of nie używane, ponieważ <gwiazda klasy G> nie jest pojedynczą gwiazdą, ale typem <gwiazdy>
| ||||
| <X> part of <Y> | instancja | instancja |
|
<USS Nimitz> part of <Carrier Strike Group Eleven> | <USS Nimitz> jest konkretnym lotniskowcem, <CSG-11> jest konkretną grupą lotniskowców, <USS Nimitz> jest jednym z komponentów <CSG-11> (jej okręt flagowy) |
|
| <People's Republic of China> part of <Asia> | zarówno <Chiny> i <Azja> są konkretnymi obiektami geograficznymi, <Chiny> są częścią kontynentu <Azja> |
| ||||
| <Sun> part of <Solar System> | oba są pojedynczymi obiektami astronomicznymi; Układ Słoneczny składa się ze Słońca, planet i innych obiektów w pobliżu Słońca | * instance of nie używane, ponieważ ten ostatni jest pojedynczym obiektem astronomicznym, a nie ogólną koncepcją
| ||||
| klasa | klasa | * instancja klasy X jest częścią instancji klasy Y | <flight deck> part of <aircraft carrier> | każdy lotniskowiec (instancja <lotniskowca>) ma swój pokład lotniczy (instancja <pokładu lotniczego>) |
| |
| <member state> part of <international organization> | instancja <państwa członkowskiego> jest składnikiem instancji <organizacja międzynarodowa> |
| ||||
| <star> part of <galaxy> | gwiazda zwykle rodzi się i żyje w pojedynczej galaktyce, która składa się z wielu gwiazd i innych obiektów astronomicznych |
| ||||
| ||||||
has part(s) (P527) vs. has part(s) of the class (P2670)
Oto tabela wyjaśniająca różnicę między has part(s) (P527) a has part(s) of the class (P2670).
Właściwość has part(s) (P527) powinna być używana do relacji klasa-klasa i instancja-instancja.
has part(s) of the class (P2670) powinien być używany do relacji instancja-klasa. If you see a constraint violation on an item with has part(s) of the class (P2670)...
- Jeśli element jest klasą i ma właściwość subclass of (P279), powinien mieć has part(s) (P527) zamiast has part(s) of the class (P2670), nawet jeśli ma również instance of (P31).
- Element może błędnie być określony jako klasa i powinien być instancją. Usuń właściwość subclass of (P279) i upewnij się, że ma prawidłową właściwość instance of (P31).
| Property | X | Y | what it denotes | przykład | wyjaśnienie | why not use… |
|---|---|---|---|---|---|---|
| <X> has part(s) <Y> | instancja | instancja | instance X has instance Y among its parts or components | <United States Congress> has part(s) <United States Senate> | Kongres USA składa się z dwóch części, Izby Reprezentantów i Senatu |
|
| <Solar System> has part(s) <Mars> | <Mars> jest jedną z planet w <Układzie Słonecznym> |
| ||||
| klasa | klasa | an instance of X has an instance of Y among its parts or components | <body> has part(s) <head> | ogólnie rzecz biorąc <ciało> (w sensie anatomicznym) ma <głowę> jako jedną ze swoich części |
| |
| <galaxy> has part(s) <star> | <galaktyka> ma <gwiazdy> jako jedną ze swoich części |
| ||||
| <X> has part(s) of the class <Y> | instancja | klasa | konkretny element X zawiera jakąś instancję klasy Y wśród swoich części lub komponentów | <University of Cambridge> has part(s) of the class <college of the University of Cambridge> | the <University of Cambridge> has colleges as parts |
|
| <Solar System> has part(s) of the class <inner planet of the Solar System> | nasz <Układ Słoneczny> ma jedną lub więcej <planet wewnętrznych> w swoich częściach |
| ||||
| <Albert Einstein> has part(s) of the class <human brain> | <Albert Einstein> miał <ludzki mózg> jako część |
|
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.
nawigacja
Zobacz też
Przypisy
- ↑ 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
Linki zewnętrzne
- Multi-Level Conceptual Modeling: Theory and Applications — explains differences between instance of (P31) and subclass of (P279) under the conceptual framework of multi-level conceptual modelling. Skip to part 4 for Wikidata-related content.
- Collections and Individuals — explains differences between instance of (P31) and subclass of (P279) (in the context of the Cyc (Q1147294) knowledge base)