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

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

4. ВОЗМОЖНОСТИ И ПЕРСПЕКТИВЫ ПРЕДЛАГАЕМОГО ПОДХОДА

Предлагаемый подход к определению онтологий и их использованию при построении концептуальной модели ПО позволяет рассчитывать на получение моделей, обеспечивающих:

- выбор семантики данных и метаданных, соответствующих их интерпретации в конкретной ПО;

- поиск семантики в рамках пространства поиска, заданного условиями на интерпретацию конструкций модели в рамках онтологии;

- синтез семантики путем принятия проблемно-ориентированных аксиом, описывающих диаграммы и конусы соответствующей категории в требуемой онтологии.

Категорные техники описания методов манипулирования семантиками позволят обеспечить процедуру поэтапного уточнения модели ПО как в ходе ее итеративной разработки, так и при изменении классов семантик средств концептуального моделирования. Дальнейшая разработка категорных средств онтологического описания позволит уточнить методы описания семантик и техники их применения при разработке прикладных систем.

ЛИТЕРАТУРА

1. Буч Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С++. — М.: Бином, 1998.

2. Верников Г. Стандарт онтологического исследования IDEF5. — М.: Корпоративный менеджмент, 2004.

3. Вольфенгаген В.Э., Яцук В.Я. Аппликативные вычислительные системы и концептуальный метод проектирования систем знаний. — М: МО СССР, 1987.

4. Декер С. и др. Semantic Web: роли XML и RDF. //Открытые системы. 2001. №9.

5. Джонстон П.Т. Теория топосов: Пер. с англ. /Под ред. Ю.И. Манина. — М.: «Наука», Гл. ред. физ.- мат. лит., 1986. 440 с.

6. Исмаилова Л.Ю., Косиков С.В. Информационное моделирование динамичных рассуждений на примере юридической деятельности //Технологии информационного общества — Интернет и современное общество: Материалы Всероссийской объединенной конференции. Санкт-Петербург, 20–23 ноября 2001 г. — СПб.: Изд-во С.-Петерб. ун-та, 2001. С. 36–43.

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

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

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