Help:Базовые свойства принадлежности

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.

Введение

Данная страница объясняет отличия между 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.

Примеры

Практические аспекты

  • Элемент может быть сущностью и/или классом, в зависимости от отношений, которые он имеет к другим элементам.
  • Несколько сущностей могут быть абстрагированы в класс А.
  • Конкретные сущности класса могут или не могут существовать как элементы в Викиданных.
  • Если класс A может быть абстрагирован в другой класс B, связь между A и B называется подклассом от.

Отношение между сущностями с общим свойством и классом, обладающим этим свойством, реализуется при помощи свойства instance of (P31). Мы используем instance of (P31) вместо subclass of (P279), когда не можем ничего сказать об сущностях с таким отношением. Конкретнее, это rdf:type.[1]

Например, Atlantic Ocean (Q97) и Pacific Ocean (Q98) — это две сущности ocean (Q9430). Поэтому мы указываем в Викиданных:

  • используется для указания того, что все сущности одного класса являются сущностями другого[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.

Элементы не могут быть сущностями другого некласса, но они могут быть его частью. Например, 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).

Примеры

<span id="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> — это конкретный авианосец, <11-я АУГ> — конкретная ударная группировка, <USS Nimitz> является одним из компонентов <11-й АУГ> (её флагманом)
  • instance of не используется, так как <11-я АУГ> не является классом
  • subclass of не используется, потому что ни тот, ни другой не являются классами
<People's Republic of China> part of <Asia> и <Китай>, и <Азия> являются конкретными географическими объектами, <Китай> — это часть континента <Азия>
  • instance of не используется, потому что <Азия> является сущностью (в то время как <азиатская страна> является классом, так что вы можете сказать, что <Китай> является сущностью класса <азиатская страна>)
  • subclass 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).

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.

навигация

См. также


Примечания

  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


Внешние ссылки