В ПОИСКАХ УТРАЧЕННОЙ ОНТОЛОГИИ. КАТЕГОРНЫЙ ПОДХОД

Л.Ю. Исмаилова, С.В. Косиков
НОУ «Институт актуального образования «Юринфор-МГУ»
г. Москва

При конструировании онтологии для конкретной ПО граф G, вообще говоря, определяет носители соответствующей онтологии как алгебраической структуры, отображение U, как указано выше, задает единичные стрелки, а коммутативные диаграммы из D соответствуют аксиомам, выполнение которых требуется в онтологии для заданной ПО. Предельные конусы из C нужны для обеспечения подходящей категорной структуры (например, декартовой замкнутости). Отметим, что предлагаемый подход соответствует известной технике формализации онтологий в виде концептуальных пространств и пространств смешивания18. Фактически можно легко показать, что построение пространств смешивания вкладывается в предлагаемую формализацию, которая является, таким образом, более общей.

Морфизм заданной онтологии O в онтологию семантической категории Funct (Asg, D) функторов из Asg в D, введенную в работе 7, можно рассматривать как придание интерпретации совокупности средств концептуального моделирования, определенных в онтологии O. Такой способ введения онтологии удовлетворяет сформулированым требованиям, так как является формализацией метатеории семантических аспектов концептуального моделирования. Рассмотрение морфизмов из одной онтологии O в другую O' является математически корректной основой подхода к анализу семантической сопоставимости различных онтологий. Можно показать, что ряд ранее рассматривавшихся наиболее известных определений онтологии (например, 19, 22) можно рассматривать как частные случаи предлагаемого подхода.

3.4 Принятие онтологии и принятие аспектов рассмотрения как ортогональные проектные решения

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

Опубликовано:
Исмаилова Л.Ю., Косиков С.В. В поисках утраченной онтологии. Категорный подход // Технологии информационного общества — Интернет и современное общество: труды VII Всероссийской объединенной конференции. Санкт-Петербург, 10 – 12 ноября 2004 г. — СПб.: Изд-во Филологического ф-та СПбГУ, 2004. С. 56 – 61.
ISBN 5-8465-0294-6

Никакая часть содержащегося здесь текста ни в каких целях не может быть воспроизведена в какой бы то ни было форме и какими бы то ни было средствами, будь то электронные или механические, если на то нет письменного разрешения АО "Центр ЮрИнфоР".

(Размещена 27 июля 2006 г.)