Общая формальная онтология

Общая формальная онтология ( GFO ) — это верхняя онтология, объединяющая процессы и объекты. ^[1] GFO был разработан Генрихом Херре, Барбарой Хеллер и их сотрудниками (исследовательская группа Onto-Med) в Лейпциге . Хотя GFO предоставляет одно таксономическое дерево, для его модулей могут быть выбраны разные системы аксиом. В этом смысле GFO обеспечивает основу для создания пользовательских онтологий, специфичных для предметной области. GFO представляет собой трехуровневую метаонтологическую архитектуру, состоящую из абстрактного верхнего уровня, абстрактного базового уровня и базового уровня.Прежде всего, онтология GFO:

включает в себя как объекты, так и процессы, и оба они интегрированы в одну целостную систему,
включает в себя уровни реальности, ^[2]
разработан для поддержки совместимости на основе принципов онтологического отображения и редукции,
содержит несколько новых онтологических модулей, в частности, модуль для функций и модуль для ролей, и
предназначен для применения, прежде всего, в медицинской, биологической и биомедицинской областях, а также в области экономики и социологии.

Таксономическое дерево GFO

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

Конкретные сущности — это сущности, находящиеся во времени и пространстве , а категории имеют универсальный характер.

Категории

Общим свойством всех категорий является то, что они могут быть высказаны относительно сущности.

Категории в GFO далее делятся на имманентные универсалии , концептуальные структуры и символические структуры . Имманентные универсалии — это так называемые аристотелевские универсалии , в том смысле, что они рассматриваются в ре . Это означает, что эти универсалии существуют во всех сущностях, которые воплощают имманентную универсалию, независимую от наблюдателя. Примером имманентной универсальности может быть ЯБЛОКО. Универсальное ЯБЛОКО существует во всех яблоках независимо от восприятия агентом.

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

Символические структуры — это знаки, экземпляры которых могут быть созданы токенами. У них есть свойство отстаивать нечто большее, чем они сами. Примером может служить физический шаблон «яблоко», который реализует символическую структуру «ЯБЛОКО».

Пространство и время

GFO использует теорию пространства и времени, вдохновленную философией Брентано . В качестве примитивных для времени временные интервалы , называемые хроноидами принимаются . Временные границы экзистенциально зависят от этих временных интервалов. Временные границы разных временных интервалов могут совпадать. Это понятие совпадения эквивалентно формализации времени, основанной на отношении встречи (приписанном Аллену и Хейсу).

Связанные трехмерные части пространства называются « топоидами ». Как хроноиды, топоиды могут совпадать на двумерной границе. Эта граница может совпадать с другими (двумерными) границами на одномерной границе и так далее.

Процессы и объекты

GFO различает процессы и объекты . Процессы разворачиваются во времени, имеют временные части. Объекты (называемые «презентиалами ») не имеют временных частей и могут существовать только во временных границах. Презентации зависят от процессов. Это можно рассматривать как происхождение отношений зависимости при формализации времени: процессы всегда определяются хроноидом; и как границы времени зависят от хроноидов, так и представления зависят от процессов.

DOLCE и другие онтологии сталкиваются с проблемой «идентичности»: как можно смоделировать постоянство объекта во времени. В GFO эта проблема выражена явно: все представления явно существуют только на одной временной границе; персистентность моделируется особым типом категории — персистентной.

См. также

Ссылки

^ Херре, Х.; Хеллер, Б.; Бурек, П.; Хендорф, Р.; Лебе Ф. и Михалек Х. Общая формальная онтология (GFO): фундаментальная онтология, объединяющая объекты и процессы. Часть I: Основные принципы. Исследовательская группа «Онтологии в медицине» (Onto-Med), Лейпцигский университет.
^ Р. Поли. Основная проблема теории уровней реальности. Аксиоматес, 2001. Спрингер.

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

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

[1] Херре, Х.; Хеллер, Б.; Бурек, П.; Хендорф, Р.; Лебе Ф. и Михалек Х. Общая формальная онтология (GFO): фундаментальная онтология, объединяющая объекты и процессы. Часть I: Основные принципы. Исследовательская группа «Онтологии в медицине» (Onto-Med), Лейпцигский университет.

[2] Р. Поли. Основная проблема теории уровней реальности. Аксиоматес, 2001. Спрингер.

[1]

[2]