Довідка:Базові властивості приналежності

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 90% complete.
Outdated translations are marked like this.
Other languages:

Вступ

На цій сторінці пояснюються відмінності між властивостями instance of (P31), subclass of (P279) і part of (P361).

Визначення

Для розуміння відмінностей важливо ознайомитися з термінами "екземпляр" та "клас". Клас - це абстрактний об'єкт, який представляє собою множину елементів, що називаються його екземплярами. Як правило, всі екземпляри, що належать до класу, володіють деяким набором властивостей, які характеризують клас. Екземпляри відрізняються один від одного значеннями, які вони мають для цих властивостей, але не фактом наявності самих властивостей. Таким чином, кожен клас зазвичай характеризується властивостями, які мають всі його екземпляри (хоча це не є обов'язковим для Вікіданих).

If all the instances of class A necessarily also belong to class B, then we say A is a subclass of B.

Приклади

Практичні аспекти

  • Ніщо не заважає елементу бути як екземпляром, так і класом. Елемент є екземпляром просто тому, що має властивість instance of (P31). Аналогічно, елемент є класом просто тому, що він є значенням, пов'язаним з властивістю instance of (P31) деякого іншого елемента (або має властивість підкласу).
  • Повний набір екземплярів, що мається на увазі під класом, може існувати, а може і не існувати як елементи у Вікіданих.
  • Якщо з логічної точки зору всі статті, що концептуально належать до класу A (незалежно від того, чи є вони у Вікіданих, чи ні), повинні також належати до класу B, то відношення між A і B називається "підклас". Ми говоримо, що A є підкласом B.

instance of (P31)

Зв'язок між екземплярами зі спільною ознакою та класом, що характеризується цією ознакою, здійснюється за допомогою властивості instance of (P31). Ми використовуємо instance of (P31) замість subclass of (P279), коли не можемо нічого сказати про випадки з таким відношенням. Більш конкретно, це rdf:type.[1]

Наприклад, Atlantic Ocean (Q97) і Pacific Ocean (Q98) є прикладами ocean (Q9430). Ми пишемо так у Вікіданих:

subclass of (P279)

  • використовується для того, щоб вказати, що всі екземпляри одного класу є екземплярами іншого[2]
  • точніше, це rdfs:subClassOf [3]‎

Деякі приклади:

Інший приклад:

Озеро і океан - це не одне і те ж, але всі їх екземпляри мають спільну властивість бути водоймою. Тому ми можемо використовувати клас body of water (Q15324), щоб стверджувати це:

Тепер Lake Baikal (Q5513), Lake Erie (Q5492), Atlantic Ocean (Q97) і Pacific Ocean (Q98) будуть "перехідними" (непрямими) екземплярами body of water (Q15324). Загалом, ми "можемо" використовувати більш абстрактні об'єкти (наприклад, body of water (Q15324)) замість перерахувань (lake (Q23397) і ocean (Q9430)) як: 1. у наших твердженнях, так і 2. у наших питаннях (не розглядаються на цій сторінці допомоги).

Транзитивні властивості

subclass of (P279) є transitive Wikidata property (Q18647515), тобто якщо елемент A є екземпляром класу B, а клас B є підкласом класу C, то елемент A неявно також є екземпляром класу C. Загалом немає потреби додавати до Вікіданих опис відношення $3.

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.

Наприклад, Lighthouse of Alexandria (Q43244) є екземпляром lighthouse (Q39715), а lighthouse (Q39715) є підкласом tower (Q12518). Lighthouse of Alexandria (Q43244), таким чином, є екземпляром 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.

part of (P361)

Елементи не можуть бути екземпляром іншого некласу, але вони можуть бути частиною іншого некласу. Наприклад, Albert Einstein's brain (Q2464312) є частиною Albert Einstein (Q937). У Вікіданих ми використовуємо part of (P361) для цього відношення.

Класи також можуть бути частиною іншого класу. Наприклад,

Використання instance of (P31) замість part of (P361) було б тут неправильним, оскільки human brain (Q492038) не є особою. Використання subclass of (P279) також було б неправильним, оскільки екземпляр human brain (Q492038) (наприклад, Albert Einstein's brain (Q2464312)) не є екземпляром класу Homo sapiens (Q15978631).

Як і subclass of (P279), part of (P361) є перехідною властивістю.

<span id="Inverse_relations_of_part of (P361)">

Обернені відношення part of (P361)

  1. has part(s) (P527) - використовується для того, щоб сказати, що екземпляр має як частину деякого іншого екземпляру або що екземпляри класу мають як частину екземпляру деякого іншого класу
  2. has part(s) of the class (P2670) - використовується для позначення того, що екземпляр (ніколи як клас) має у складі екземпляр класу. Якщо батьківський елемент є одночасно і екземпляром, і класом, то has part(s) of the class (P2670) не слід використовувати.

Наприклад,

У першому прикладі has part(s) (P527) використовується, тому що Greek alphabet (Q8216) має у своєму складі Α (Q9887). has part(s) (P527) також використовується у другому прикладі, тому що екземпляр alphabet (Q9779) має у своєму складі екземпляр letter (Q9788). В останньому прикладі ми беремо has part(s) of the class (P2670), оскільки Greek alphabet (Q8216) має один або декілька екземплярів Greek letter (Q19793459) як частини.

Приклади

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

Відмінності між instance of (P31), subclass of (P279) та part of (P361)
Property X Y що це означає приклад пояснення чому не слід використовувати ...
<X> instance of <Y> екземпляр клас
  • X є особиною (окремою річчю), що належить до класу Y
  • X є конкретним прикладом класу Y
  • всі екземпляри класу Y мають певні спільні деталі
  • Y є набором таких екземплярів (включно з X)
 <USS Nimitz> instance of <supercarrier> <USS Nimitz'> - єдиний конкретний авіаносець, <суперавіаносець> - клас авіаносців, який має багато екземплярів (авіаносців)
  • subclass of не використовується, оскільки <USS Nimitz> не є класом
  • part of не використовується, оскільки <USS Nimitz> є екземпляром, а <суперавіаносець> є класом, екземпляри не можуть бути частинами класів
<People's Republic of China> instance of <sovereign state> <суверенна держава> - поняття, що визначається певними ознаками, <Китай> - об'єкт, який відповідає цим ознакам
  • subclass of не використовується, оскільки <Китай> є конкретною державою
  • part of не використовується, оскільки екземпляри не можуть бути частинами класів
<Sun> instance of <G-type main-sequence star> <Сонце> є конкретною зіркою зі спектральними характеристиками зорі головної послідовності типу G, і тому є екземпляром цього класу * subclass of не використовується, оскільки <Сонце> є не класом, а окремим астрономічним об'єктом
  • part of не використовується, оскільки некласи не можуть бути частинами класів
<hatter> instance of <profession> <hatter> є конкретним прикладом професії
  • subclass of не використовується, оскільки <hatter> є не класом професій, а окремою професією (екземпляром)
  • part of не використовується, оскільки екземпляри не можуть бути частинами класів
<Douglas Adams> instance of <human> <Douglas Adams> є конкретною людською особою (це один з найпоширеніших випадків для instance of) * subclass of не використовується, оскільки <Douglas Adams> - це не клас людей, а окрема особа (екземпляр)
  • part of не використовується, оскільки екземпляри не можуть бути частинами класів
<X> subclass of <Y> клас клас
  • всі екземпляри класу X належать класу Y
  • екземпляри класу X також є екземплярами класу Y
 <supercarrier> subclass of <aircraft carrier> як <суперавіаносець>, так і <авіаносець> є класами, і останній містить перший
  • instance of не використовується, оскільки <суперавіаносець> не є конкретним об'єктом
  • part of не використовується, оскільки екземпляр <суперавіаносця> (наприклад, <USS Nimitz>) не може бути частиною екземпляра авіаносця (наприклад, <USS Enterprise>)
<sovereign state> subclass of <state> обидва вони є класами, перший має всі ознаки другого та деякі додаткові ознаки, тому є підкласом останнього
  • instance of не використовується, оскільки <суверенна держава> - це не конкретна держава, а клас, який містить усі суверенні держави
  • part of не використовується, оскільки екземпляр суверенної держави (наприклад, <Китай>) не може бути частиною екземпляра держави (наприклад, <Китай>)
<G-type star> subclass of <star> кожна окрема зірка класу G (екземпляри <зірка класу G>) також є зіркою - тобто належить до класу <зірка> * instance of не використовується, оскільки <зірка класу G> - це не окрема зірка, а тип <зірки>
  • part of не використовується, оскільки зв'язок не є композиційним, тобто окремі екземпляри <зірки класу G> не об'єднуються разом, щоб утворити екземпляр <зірки>.
<X> part of <Y> екземпляр екземпляр
  • екземпляр X є частиною екземпляру Y
  • різні частини Y (включаючи X) об'єднуються разом, утворюючи ціле Y
 <USS Nimitz> part of <Carrier Strike Group Eleven> <USS Nimitz> - конкретний авіаносець, <CSG-11> - конкретна авіаносна ударна група, <USS Nimitz> - один з компонентів <CSG-11> (її флагман)
  • instance of не використовується, оскільки <CSG-11> не є класом
  • subclass of не використовується, оскільки жоден з них не є класом
<People's Republic of China> part of <Asia> як <Китай>, так і <Азія> є конкретними географічними об'єктами, <Китай> є частиною континенту <Азія>
  • instance of не використовується, оскільки <Азія> є елементом (в той час як <Азіатська країна> є класом, тому можна сказати, що <Китай> є елементом <Азіатська країна>)
<Sun> part of <Solar System> обидва є окремими астрономічними об'єктами; Сонячна система складається з Сонця, планет та інших об'єктів, що знаходяться в околицях Сонця * instance of не використовується, оскільки останній є індивідуальним астрономічним об'єктом, а не родовим поняттям
  • subclass of не використовується, оскільки жоден з них не є класом
клас клас екземпляр класу X є частиною екземпляру класу Y <flight deck> part of <aircraft carrier> кожен авіаносець (екземпляр <авіаносець>) має власну льотну палубу (екземпляр <льотна палуба>)
  • instance of не використовується, оскільки <льотна палуба> є класом, а не екземпляром (екземпляром може бути лише конкретна льотна палуба, наприклад, <льотна палуба USS Nimitz>)
  • subclass of не вживається, оскільки екземпляр першого (наприклад, <льотна палуба USS Nimitz>) не може бути тим самим, що й екземпляр другого (наприклад, <USS Nimitz>)
<member state> part of <international organization> екземпляр <держава-член> є складовою екземпляра <міжнародна організація>
  • instance of не вживається, оскільки перше є поняттям, не вказує на конкретну державу (наприклад, <Китай>)
  • subclass of не використовується, оскільки екземпляр <держава-член> не належить до класу <міжнародна організація> (наприклад, Китай не є міжнародною організацією)
<star> part of <galaxy> зірка зазвичай народжується і живе в межах однієї галактики, яка складається з багатьох зірок та інших астрономічних об'єктів
  • instance of не використовується, оскільки <зірка> не є прикладом <галактики>
  • subclass of не використовується, оскільки екземпляри класу <зірка> не є екземплярами класу <галактика>
  • Примітка: деякі приклади, наведені вище, є лише демонстраційними і не повинні використовуватися у Вікіданих, оскільки існують більш специфічні зв'язки, які слід використовувати (наприклад, використовувати "<Китай> континент <Азія>" замість "<Китай> частина <Азії>").

<span id="has part(s) (P527)_vs._has part(s) of the class (P2670)">

has part(s) (P527) проти has part(s) of the class (P2670)

Наводимо таблицю, яка пояснює різницю між $527 та $2670.

has part(s) (P527) слід використовувати для відношень клас-клас та екземпляр-екземпляр.

Для відносин екземпляр-клас слід використовувати has part(s) of the class (P2670). Якщо ви бачите порушення обмежень на елемент з has part(s) of the class (P2670)...

Відмінності між has part(s) (P527) та has part(s) of the class (P2670)
Property X Y що він позначає приклад пояснення чому не слід використовувати ...
<X> has part(s) <Y> екземпляр екземпляр екземпляр X має серед своїх частин або компонентів екземпляр Y <United States Congress> has part(s) <United States Senate> Конгрес США складається з двох частин - Палати представників і Сенату
  • has part(s) of the class не вживається, оскільки <Конгрес Сполучених Штатів Америки> та <Сенат Сполучених Штатів Америки> є конкретними об'єктами
<Solar System> has part(s) <Mars> <Марс> одна з планет <Сонячної системи>
  • has part(s) of the class не використовується, оскільки <Сонячна система> та <Марс> є конкретними об'єктами
клас клас екземпляр X має серед своїх частин або компонентів екземпляр Y <body> has part(s) <head> загалом <тіло> (анатомічна ознака) має <голову> як одну зі своїх частин
  • has part(s) of the class не використовується, оскільки <тіло> і <голова> є класами
<galaxy> has part(s) <star> <галактика> має <зірки> як одну зі своїх частин
  • has part(s) of the class не використовується, оскільки <галактика> та <зірка> є класами
<X> has part(s) of the class <Y> екземпляр клас конкретний елемент X включає деякий екземпляр класу Y серед своїх частин або компонентів <University of Cambridge> has part(s) of the class <college of the University of Cambridge> <Кембриджський університет> має коледжі як складові частини
  • has part(s) не використовується, оскільки <Кембриджський університет>> не має класу <коледж Кембриджського університету> як частини, а натомість має коледжі як частини
<Solar System> has part(s) of the class <inner planet of the Solar System> наша <Сонячна система> має одну або декілька <внутрішніх планет> у своїх частинах
  • has part(s) не використовується, оскільки <Сонячна система> не має класу <внутрішні планети> як частини, а натомість має планети як частини
<Albert Einstein> has part(s) of the class <human brain> <Альберт Ейнштейн> мав <мозок людини> як частину
  • has part(s) не використовується, оскільки <мозок людини> - це клас, а не екземпляр, навіть якщо б він був тільки один.

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.

Навігаційний блок

 
Wikidata properties related to tree (Q223655)
This template lists some major properties which can be used to digitizing tree-shaped data. For techniques about creating tree, see Help:Tree
↕Vertical relations↕
↔Horizontal relations↔
Other
Items
Wikimedia template

Див. також


Примітки

  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


Зовнішні посилання

Retrieved from "https://www.wikidata.org/w/index.php?title=Help:Basic_membership_properties/uk&oldid=2126689426"