Транзитивность отношения часть-целое

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

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

За счет использования транзитивности отношений онтологической зависимости формируются достаточно длинные цепочки вывода (цепочка «слева направо» соответствует отношениям от части к целому):

ОБВИНЯЕМЫЙ ПО ДЕЛУ -> СУДЕБНОЕ ОБВИНЕНИЕ -> СУДЕБНЫЙ ПРОЦЕСС -> СУДОПРОИЗВОДСТВО -> СУДЕБНАЯ СИСТЕМА -> ПРАВОВАЯ СИСТЕМА

ДЕНЕЖНАЯ БАЗА -> ДЕНЕЖНОЕ ОБЕСПЕЧЕНИЕ –> ДЕНЕЖ-НОЕ ОБРАЩЕНИЕ -> ДЕНЕЖНАЯ СИСТЕМА -> ФИНАНСОВАЯ СИСТЕМА -> ЭКОНОМИКА

АПТЕКАРБ -> АПТЕКА ->ЛЕКАРСТВЕННОЕ ОБЕСПЕЧЕНИЕ -> МЕДИЦИНСКАЯ ПОМОЩЬ -> МЕДИЦИНА -> ЗДРАВООХРАНЕНИЕ

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

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

Используемый в настоящее время набор свойств отношения часть-целое таков:

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

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

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

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

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

- обеспечение наследования свойства релевантности от части к целому: если в тексте обсуждается часть, то этот текст релевантен и обсуждению целого;

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

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