ОТНОШЕНИЯ часть-целое

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

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

Специфической особенностью этого отношения является его разнообразие - отношение может быть установлено между сущностями различных семантических типов: физическими объектами, процессами и действиями, географическими регионами, свойствами и состояниями, коллекциями и множествами, абстрактными сущностями, такими как числа. Изучающая это отношение отрасль философии - мереология - не накладывает никаких ограничений на типы части и целого, лишь постулируя три основных аксиомы (Varzi, 2006; Gangemi и др., 2001b).

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

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