Определение и свойства отношения онтологической зависимости

Отношение онтологической зависимости между сущностями А и В состоит в установлении факта зависимости существования А от существования В (Lowe, 2005). Это отношение известно со времен Аристотеля, который заметил, что невещественные сущности, такие как качества и количества, зависят от вещественных сущностей.

Известный философ Э. Гуссерль считал отношение зависимости цен-тральным отношением онтологии. Никола Гуарино (Guarino, 1998b) называет теорию зависимости одним из основных инструментов анализа сущностей в рамках Формальной Онтологии.

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

Зависимость сущностей может быть разного содержания. П. Симоне (Simons, 1987) рассматривает несколько разных видов зависимости между сущностями:

-        физиологическая зависимость (человек А зависит от лекарства В

так, что А не может жить, если не будет принимать это лекарство);

-        причинная зависимость (детонация мины А зависит от предвари

тельного воспламенения В так, что детонация не произойдет, если

не будет предварительного воспламенения);

-логическая зависимость (пропозиция р зависит от пропозиции q тогда и только тогда, если р не может быть истинным, пока q не является истинным);

-        функциональная зависимость (давление Р фиксированной массы

идеального газа зависит от температуры Т и объема V тогда и только тогда, когда Р не может изменяться, пока не изменяется по крайней мере один из параметров Т или V);

-        практическая зависимость (умение А зависит от умения Б тогда и

только тогда, когда умение А не может быть достигнуто, пока не

достигнуто умение Б).

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

Определение. X онтологически зависит от Y тогда и только тогда, когда X существует, только если Y существует.

D(X, Y) = def (существует (X) —> существует (Y)).

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

X    онтологически    зависит    от     Y,     если    из    утверждения «X существует» следует утверждение «Y существует».

В связи с отношениями зависимости наиболее распространенными и используемыми аксиомами являются аксиомы рефлексивности и транзитивности (Gangemi и др., 2001b):

D (х, х) - рефлексивность отношения зависимости;

D (х, у) л D (у, z) —> D (х, z) - транзитивность отношения зависимости.