Jump to content

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

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

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

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

[ редактировать ]
Базовое таксономическое дерево Общей формальной онтологии

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

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

Категории

[ редактировать ]

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

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

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

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

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

[ редактировать ]

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

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

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

[ редактировать ]

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

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

См. также

[ редактировать ]
  1. ^ Херре, Х.; Хеллер, Б.; Бурек, П.; Хендорф, Р.; Лебе Ф. и Михалек Х. Общая формальная онтология (GFO): фундаментальная онтология, объединяющая объекты и процессы. Часть I: Основные принципы. Исследовательская группа онтологий в медицине (Onto-Med), Лейпцигский университет.
  2. ^ Р. Поли. Основная проблема теории уровней реальности. Аксиоматес, 2001. Спрингер.
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 33b3559eba53952557e009788f40bb2e__1720515960
URL1:https://arc.ask3.ru/arc/aa/33/2e/33b3559eba53952557e009788f40bb2e.html
Заголовок, (Title) документа по адресу, URL1:
General formal ontology - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)