Отношения часть-целое: теория и практика

Данная система аксиом отношения часть-целое обычно называется базовая мереология (ground mereology).

Поскольку отношение обладает свойством рефлексивности, то выделяются еще строгое отношение часть-целое, т. е. когда рассматриваются только части, не равные своему целому PP:

PP(x, y)=_def P(x, y) ?P(y,x)

Строгое отношение часть-целое является отношением строгого порядка, т.е. выполняются соотношения антирефлексивности, асимметричности и транзитивности:

4) Антирефлексивность

Размещено на http://www.allbest.ru/

5) Асимметричность

Размещено на http://www.allbest.ru/

6) Транзитивность

Размещено на http://www.allbest.ru/

Для определенности в дальнейшем в качестве отношения часть целое будет рассматриваться именно строгое отношение часть-целое PP.

Другим важным отношением в теории частей (Simons 1987, Varzi 2006) является отношение перекрытия (overlapping - *). Отношение перекрытия также включает случай полного вложения одной сущности в другую, а также случай идентичности двух сущностей. Таким образом, это отношение рефлексивно, симметрично, но не транзитивно:

7) Определение отношения перекрытия

Размещено на http://www.allbest.ru/

8) Рефлексивность отношения перекрытия

Размещено на http://www.allbest.ru/

9) Симметричность отношения перекрытия

Размещено на http://www.allbest.ru/

На основе отношения перекрытия можно сформулировать еще одну аксиому мереологии, называемую принципом слабой дополнительности (weak supplementation principle) (Simons 1987, Varzi 2006):

10)

Размещено на http://www.allbest.ru/

Теория, включающая аксиомы 1-3 и 10, называется минимальной мереологией. Некоторые авторы (Simons 1987) полагают, что такой набор аксиом представляет собой минимальный набор, которым должна удовлетворять теория частей и целых.

В лингвистике для определения отношения часть-целое широко используются лингвистические тесты, т. е. некоторые заданные предложения, в которые подставляются анализируемые сущности. При этом часть обычно называется меронимом, а целое - холонимом. Естественным тестом для определения меронимии является предложение X - это часть Y, которое должно звучать нормально для X и Y, интерпретируемых как родовые понятия: палец - это часть руки, страница - это часть книги (Cruse, 1986).

Однако многие авторы отмечают, что если применять лингвистические тесты, то возникают серьезные проблемы с транзитивностью отношения часть-целое, например, можно сказать, что рука - это часть дирижера, дирижер - это часть оркестра, но странно, если сказать, что рука - это часть оркестра.

Рассматривая разные виды отношения часть-целое, авторы обычно подчеркивают, что проблемы с транзитивностью связаны со смешением разных видов отношений часть-целое. В работах (Winston et al. 1987) проблемы с транзитивностью объясняются следующим образом: пока используется один тип отношения, то часть-целое всегда транзитивно. Однако когда смешиваются различные отношения меронимии, то возникает проблема с транзитивностью.

В работе (Cruse 1986) подчеркивается, что правильно сформированная иерархия состоит из элементов одного и того же типа. Так, если элемент меронимии - физический объект, то и все другие элементы меронимии должны быть такими же (например, вес тела не должен фигурировать среди его частей). Если один элемент является географической областью, то и другие должны быть такими же (так, Вестминстерское аббатство не является частью Лондона); если один элемент - абстрактное существительное, то и другие должны быть такими же.

В работе (Motschnig-Pitrik, Kaasbol, 1999) предлагается выделить те отношения часть-целое, которые, комбинируясь, дают приемлемые результаты транзитивности, и отделить те отношения часть-целое, которые могут привести к ошибочным транзитивным заключениям. Если моделировать такие отношения как член/коллекция, материал/объект отношениями, отличными от отношений часть-целое, то авторы утверждают, что оставшиеся типы отношений демонстрируют транзитивное поведение, даже если комбинируются произвольным образом. Таким образом, группа отношений компонент/объект, порция/масса, фаза/деятельность, место/местность может быть названа базовыми отношениями часть-целое. В рамках любой комбинации базовых отношений часть-целое действует правило транзитивности, независимо от комбинации конкретных видов отношений.

Другое мнение высказывается в философской работе (Varzi, 2006). Автор работы утверждает, что проблемы с транзитивностью отношения часть-целое и приводимые контрпримеры связаны с неявным сужением понятия «часть» в обыденной речи. То, что ручка двери, являясь функциональной частью двери, может не рассматриваться как функциональная часть дома, не означает, что ручка не является вообще частью дома. Напротив, ручка двери проявляет все обычные свойства частей: масса ручки является частью массы дома; она занимает часть пространства, занятого домом; она будет уничтожена, если уничтожить дом; если уничтожить ручку двери, то и дом будет поврежден.

Если рассмотреть пример: рука дирижера - дирижер - оркестр, то также можно видеть, что масса руки является частью массы оркестра, рука дирижера занимает часть пространства, занимаемого оркестром; если будет повреждена рука дирижера, это может вызвать и (может быть, даже серьезные) проблемы с функционированием оркестра.

Сужение понятия «часть» заключается в том, что на интерпретацию понятия «часть» накладываются дополнительные условия (т.е. дополнительное требование, что часть должна быть функциональной и т.п.) и при этом, действительно, свойство транзитивности может не выполняться. В более общем виде, если х - ф-часть (то есть часть с дополнительным условием ф) от y и y - ф-часть от z, х не обязательно является ф-частью от z. Модификатор отношения ф - может не быть транзитивным, но эта ситуация говорит лишь об отсутствии транзитивности у отношения ф-часть, а не у обобщенного отношения в целом.

Помимо классификации отношений часть-целое по cемантическим основаниям, существуют еще классификации этого отношения по онтологическим свойствам, т.е. на основе анализа сосуществования части и целого (Simons, 1987).

Так, выделяется отношение существенной части - EP. Экземпляр х - является существенной частью экземпляра у, если у экзистенциально зависит от x:

Размещено на http://www.allbest.ru/

Таким образом, для каждого конкретного человека его мозг является существенной частью. Отметим, что здесь для краткости записи используется предположение, что отношение часть-целое обсуждается только для существующих объектов (Simons, 1987), т.е.

Размещено на http://www.allbest.ru/

В современном мире конкретному человеку может быть пересажено другое сердце, но человек обязательно должен иметь сердце. Такое отношение отражается посредством понятия обязательной части - MP. Конкретная сущность x является обязательной частью конкретной сущности y, если x является экземпляром понятия С, и у имеет родовую зависимость от класса С:

Размещено на http://www.allbest.ru/

Часть x называется неотделимой частью y, если x экзистенциально зависит от y, и x является частью y:

Размещено на http://www.allbest.ru/

Примером неотделимой части является мозг человека, который не может существовать вне своего целого. Как уже указывалось, сердце человека может быть отделено от конкретного человека и пересажено другому человеку. Но при этом должна существовать сама категория людей. Таким образом, сердце человека зависит от человека родовой зависимостью, и такая зависимость называется обязательным целым MW.

Размещено на http://www.allbest.ru/

2. Подходы к описанию отношения часть-целое в формальных и лингвистических онтологиях

В различных типах онтологических ресурсах были приняты разные решения относительно описания отношения часть-целое.

В информационно-поисковых тезаурусах отношения часть-целое могут входить в состав иерархических отношений (Z39.19, 2005). Иерархические отношения обычно рассматриваются как несимметричные и транзитивные. При установлении иерархических отношений важна независимость от контекста. В частности, в тех случаях, когда имеется множественная принадлежность части к целому, то между такими терминами не должно устанавливаться иерархическое отношение. Между такими дескрипторами может быть установлено отношение ассоциации. Например, карбюраторы являются частями не только автомобилей. Поэтому дескрипторы карбюратор и автомобиль не должны быть связаны отношением часть-целое в информационно-поисковом тезаурусе (Z39.19, 2005).

Если сформулировать это условие с использованием онтологических подвидов отношения часть-целое, то можно сказать, что для любых экземпляров потенциального понятия-части С₁ имеется либо экзистенциальная, либо родовая зависимость от понятия-целого С₂, т.е.:

Размещено на http://www.allbest.ru/

Впрочем, нужно отметить, что последовательное применение данной рекомендации в каком-либо информационно-поисковом тезаурусе практически не встречается. Для простоты описания отношений часть-целое рекомедуется в основном описывать жесткие иерархические системы, как иерархию географических регионов или вложенность военных подразделений (Z39.19, 2005).

Таким образом, с точки зрения разработки информационно-поисковых тезаурусов не рекомендуется описывать как отношения часть-целое такие отношения, как:

- Сталь - велосипед, поскольку сталь может быть в разных артефактах, не только в велосипеде;

- Рука - музыкант, поскольку руки не только у музыкантов;

- Кусок - пирог, поскольку многие другие вещи можно разделить на куски;

- Дерево - лес, поскольку деревья растут не только в лесу.

Отметим также, что никаких требований на зависимость целого от части (таких как существенная часть или обязательная часть) в рекомендациях информационно-поисковых тезаурусов не накладывается.

Подход к отношениям часть-целое в тезаурусе WordNet принципиально другой, поскольку отношения часть-целое устанавливаются в WordNet на основе лингвистического теста (Miller, 1998):

Х является частью Y, если можно сказать, что Х - это часть Y (An x is a part of Y) или Y имеет X как часть (A y has an x as a part).

Внутри отношения часть-целое дополнительно выделяются отношения быть_элементом (человек - часть человечества) и быть_сделанным_из (стекло - часть стеклянного изделия). Синсет-часть может быть сопоставлен большому количеству синсетов-целое, как, например, point (острие) может быть у стрелы, ножа, иголки, карандаша, булавки и т.п.

В различных формальных онтологиях также принимаются различные решения по принципам описания отношений часть-целое.

В онтологии SUMO (Niles, Pease 2003) отношения часть-целое определены только над осязаемыми (tangible) пространственными сущностями - объектами. Такое ограничение не является типичным для общей мереологии. В этой онтологии отношение часть-целое подразделяется на следующие подвиды: член, компонент, кусок (piece), собственно часть, поверхностная часть. Поверхностные части делятся на поверхность, верх, низ и бок.

В онтологии OpenCYC (CYC Ontology) отношение часть-целое определяется в очень обобщенном смысле. Единственное ограничение на аргументы отношения заключается в том, что они должны быть конкретными сущностями. Отношение часть-целое включает такие подвиды, как пространственные части, временные части, «концептуальные» части (например, содержать_информацию), члены группы и т.п.

В онтологии Dolce (Masolo et al. 2003) отношение «объект-материал этого объекта» (ваза-глина) рассматривается как отдельное отношение «составляет» (constitute), не являющееся отношением часть-целое:

Х составляет Y тогда и только тогда, когда X может быть субстратом после разрушения Y.

Такое решение связано с тем, что объект (ваза) и материал, из которого сделан объект, считаются различными сущностями. Если предположить, что между глиной и вазой существует отношение часть-целое, то глина должна совпасть с вазой, поскольку у глины и вазы совпадают части, а значит, и по аксиомам мереологии глина и ваза совпадают.

Таким образом, при всей кажущейся очевидности принципов установления отношения часть-целое, распространенности этого отношения в различных предметных областях, среди исследователей и авторов ресурсов нет единства в трактовке отношения часть-целое.

2.3 Отношение часть-целое в ЛО Тезаурус РуТез

При описании отношения часть-целое в ЛО Тезаурус РуТез были сделаны усилия, чтобы обеспечить транзитивность этого отношения (Лукашевич, 2011).

Если обсуждать свойства транзитивности и наследования для отношения часть-целое в ресурсе, предназначенном для автоматической обработки текстов в информационно-поисковых приложениях, то наиболее важной операцией, которую необходимо обеспечить, является релевантность обсуждения частей обсуждению целого. То есть необходимо описывать отношения часть-целое так, что если текст или его некоторый фрагмент посвящен обсуждению части, то можно предполагать, что этот текст (или его фрагмент) будет релевантен и обсуждению целого.

Важным условием для обеспечения такого наследования является зависимость существования части от существования целого. Действительно, если все существование некоторой части связано с существованием целого, то и тексты, обсуждающие эту часть, будут иметь непосредственное отношение и к целому, даже если это целое в тексте явно не упомянуто.

Этим требованием, в частности, обеспечивается выполнение рекомендаций руководств и стандартов по разработке информационно-поисковых тезаурусов (Z39.19, 2005) в том, что описание иерархических отношений должно быть независимо от контекста их упоминания. Описание таких независимых от контекста, «надежных» отношений в ресурсах, предназначенных для автоматической обработки текстов, имеет большое значение, поскольку в автоматическом режиме часто бывает невозможно использовать контекст для подтверждения существования того или иного отношения.

Зависимость части от целого не влечет эксклюзивность части по отношению к целому, т. е. того, что у части ровно одно непосредственное целое. Так, например, локоть является частью руки человека и одновременно частью костной системы, при этом локоть является зависимой частью и для руки человека, и для костной системы.

Таким образом, при описании отношения часть-целое в онтологии применяются принципы, на основе которых в предыдущем разделе формализована рекомендация стандартов по информационно-поисковым тезаурусам: существование экземпляров понятия-части С₁ зависит от существования экземпляров целого С₂ строгой или родовой онтологической зависимостью, т.е. экземпляры понятия-части С₁ представляет собой неотделяемые части для экземпляров понятия-целого С₂ или экземпляры понятия С₂ являются обязательным целым для экземпляров С₁ .

Размещено на http://www.allbest.ru/

В качестве аксиом отношения часть-целое принимаются аксиомы минимальной мереологии (см. п. 2.2.3.1): антирефлексивность, асимметричность, транзитивность и принцип слабой дополнительности.

Табл.1. Возможные классы сущностей в отношении часть-целое.

Накладывая вышеперечисленные условия установления отношения часть-целое, мы принимаем достаточно широкую трактовку отношения часть-целое - см. табл. 1.

Таким образом, в настоящее время в ЛО используются следующие правила вывода с участием отношения часть-целое:

часть (X,Y)<-> целое (Y, X)

целое (X,Y) целое (Y, Z) > целое (X, Z) - транзитивность отношения

выше (X,Y) целое (Y, Z) > целое (X, Z) - наследование отношения целое по отношению выше-ниже.

Приведем примеры вывода на основе свойства транзитивности:

целое (Обвиняемый ПО ДЕЛУ, Судебное обвинение)

& целое (Судебное обвинение, Судебный процесс)

> целое (Обвиняемый ПО ДЕЛУ, Судебный процесс)

целое (Аптека, Лекарственное обеспечение)

& целое (Лекарственное обеспечение, медицинская помощЬ)

& целое (Медицинская помощЬ, Здравоохранение)

> целое (Аптека, Здравоохранение)

В информационных системах такие цепочки часто интерпретируются следующим образом: если в тексте обсуждается обвиняемый по делу, то этот текст релевантен и таким темам, как судебное обвинение, судебный процесс и т.д.

В результате в создаваемых по данной модели лингвистических онтологиях реально работает вывод по транзитивности отношений часть-целое, что является новым достижением для лингвистических онтологий, поскольку в тезаурусе WordNet транзитивность отношения часть-целое не предполагалась, а в рекомендациях по информационно-поисковым тезаурусам это отношение сводилось к весьма узкому набору случаев, из-за чего такой вывод не мог играть значительной роли.

Литература

1. Лукашевич Н.В. Тезаурусы в задачах информационного поиска. М.: Изд-во Московского Университета, 2011.

2. Artale A., Franconi E., Guarino N., Pazzi L. Part-Whole Relations in Object-Centered Systems: An Overview // Data and Knowledge Engineering. 1996. V.20. pp. 347-383.

3. Burgun A, Bodenreider O, Aubry M, Mosser J. 2004. Dependence relations in Gene Ontology: A preliminary study // Proc. of Workshop on The Formal Architecture of the Gene Ontology.

4. Cruse D. 1986. Lexical Semantics. Cambridge. University Press.

5. Cyc Ontology Guide: Introduction. (http://www.cyc.com/cyc-2-1/intro-public.html).

6. Gangemi A., Guarino N., Masolo C., Oltramari A. 2001b Understanding Top-Level Ontological Distinctions // Proc. of IJCAI 2001 Workshop on Ontologies and Information Sharing, pp. 26-33.

7. Gerstl P., Pribennow S. 1996. A conceptual theory of part-whole relations and its applications // Data and Knowledge Engineering, V.20, pp. 305-322.

8. Kumar A., Smith B. 2004. The ontology of blood pressure: a case study in creating ontological partitions in biomedicine. http://philpapers.org/rec/SMITOO.

9. Loebe F. 2003. An Analysis of Roles: Towards Ontology-Based Modelling. Onto-Med Report No. 6. Research Group Ontologies in Medicine (Onto-Med), University of Leipzig.

10. Loukachevitch N., Dobrov B. 2004. Development of Ontologies with Minimal Set of Conceptual Relations // Proc. of Fourth International Conference on Language Resources and Evaluation / Eds: M.T.Lino и др., vol. VI, pp. 1889-1892.

11. Masolo C., Borgo S., Gangemi A., Guarino N., Oltramari A., Shneider L. 2003. WonderWeb. Final Report. Deliverable D18.

12. Miller G. 1998. Nouns in WordNet // WordNet - An Electronic Lexical Database / Fellbaum, C (ed). - The MIT Press, pp. 23-47.

13. Motschnig-Pitrik R., Kaasboll J. 1999. Part-Whole Relationship Categories and their Application in Object-Oriented Analysis // IEEE TSE. V. 11(5), pp. 779-797.

14. Niles I., Pease A. Linking Lexicons and Ontologies: Mapping WordNet to the Suggested Upper Merged Ontology // In Proceedings of the IEEE International Conference on Information and Knowledge Engineering. 2003. P.412-416.

15. Simons P. 1987. Parts. A study in Ontology. Oxford University Press.

16. Varzi A. 2006. A Note on Transitivity of Parthood // Applied Ontology, 1:2, pp. 141-146.

17. Winston M., Chaffin R, Herrmann D. 1987. A Taxonomy of Part-Whole Relations // Cognitive Science, 11, pp. 417-444.

18. Z39.19. 2005.Guidelines for the Construction, Format and Management of Monolingual Thesauri. - NISO.

Размещено на Allbest.ru