Общая формальная онтология ( GFO ) является верхней онтологией интеграции процессов и объектов. [1] GFO был разработан Генрихом Херре, Барбарой Хеллер и сотрудниками (исследовательская группа Онто-Мед ) в Лейпциге . Хотя GFO предоставляет одно таксономическое дерево, для его модулей могут быть выбраны разные системы аксиом. В этом смысле GFO предоставляет основу для создания пользовательских онтологий, ориентированных на конкретную предметную область. GFO демонстрирует трехуровневую мета-онтологическую архитектуру, состоящую из абстрактного верхнего уровня, абстрактного базового уровня и базового уровня. В первую очередь онтология GFO:
- включает как объекты, так и процессы, и оба они интегрированы в одну связную систему,
- включает уровни реальности, [2]
- разработан для поддержки взаимодействия по принципам онтологического отображения и сокращения,
- содержит несколько новых онтологических модулей, в частности, модуль для функций и модуль для ролей, а также
- предназначен для приложений, в первую очередь, в медицинских, биологических и биомедицинских областях, но также в области экономики и социологии.
Таксономическое дерево GFO [ править ]
GFO (Общая формальная онтология) проводит фундаментальное различие между конкретными сущностями , категориями и множествами . Множества описываются аксиоматическим фрагментом теории множеств Цермело-Френкеля, хотя рассматриваются фрагменты антиосновных теорий множеств аксиом, такие как ZF-AFA .
Конкретные сущности - это сущности, существующие во времени и пространстве , а категории имеют универсальный характер.
Категории [ править ]
Общим свойством всех категорий является то, что они могут быть основаны на сущности.
Категории в GFO далее делятся на имманентные универсалии , концептуальные структуры и символические структуры . Имманентные универсалии - это так называемые аристотлиевы универсалии в том смысле, что они рассматриваются in re . Это означает, что эти универсалии существуют во всех сущностях, которые создают имманентную универсалию, независимо от наблюдателя. Примером имманентного универсального может быть ЯБЛОКО. Универсальное ЯБЛОКО существует во всех яблоках, независимо от восприятия агентом.
Концептуальные структуры - это ментальные представления сущностей или универсалий, и они существуют в сознании агента . Например, индивидуальное представление (лингвистического) термина «яблоко» в сознании агента (определяемое опытом, знаниями и убеждениями агента и т. Д.).
Символические структуры - это знаки, экземпляры которых могут быть представлены токенами. У них есть свойство стоять за что-то помимо себя. Примером может служить физический образец «яблоко», который представляет собой символическую структуру «ЯБЛОКО».
Пространство и время [ править ]
GFO использует теорию пространства и времени, вдохновленную философией Брентано . Для времени временные интервалы , называемые хроноидами , считаются примитивными. Временные границы экзистенциально зависят от этих временных интервалов. Временные границы разных временных интервалов могут совпадать. Это понятие совпадения эквивалентно формализации времени, на основе удовлетворяет соотношение (из - за Аллен и Hayes).
Связанные трехмерные части пространства называются « топоидами ». Как и хроноиды, топоиды могут совпадать на двумерной границе. Эта граница может совпадать с другими (двумерными) границами на одномерной границе и так далее.
Процессы и объекты [ править ]
GFO различает процессы и объекты . Процессы разворачиваются во времени, у них есть временные части. Объекты (называемые презентальными ) не имеют временных частей и могут существовать только на временных границах. Презентации зависят от процессов. Это можно рассматривать как вывод отношений зависимости в формализации времени: процессы всегда ограничены хроноидом; и как временные границы зависят от хроноидов, так и присутствующие зависят от процессов.
DOLCE и другие онтологии сталкиваются с проблемой «идентичности»: как можно смоделировать постоянство объекта во времени. В GFO эта проблема сделана явной: все присутствующие явно существуют только на одной временной границе; Настойчивость моделируется особым типом категории - постоянством.
См. Также [ править ]
Ссылки [ править ]
- ^ Herre, H .; Heller, B .; Бурек, П .; Hoehndorf, R .; Loebe, F. & Michalek, H .. Общая формальная онтология (GFO): базовая онтология, объединяющая объекты и процессы. Часть I. Основные принципы. Исследовательская группа «Онтологии в медицине» (Онто-Мед), Лейпцигский университет.
- ^ Р. Поли. Основная проблема теории уровней реальности. Axiomathes, 2001. Springer.
Внешние ссылки [ править ]
- Общая формальная онтология Главный веб-сайт
- Общая формальная онтология на GitHub
- Исследовательская группа Онтологии в медицине
- Общая формальная онтология Версия OWL
