RUS  ENG
Полная версия
ЖУРНАЛЫ // Известия Иркутского государственного университета. Серия «Математика» // Архив

Известия Иркутского государственного университета. Серия Математика, 2010, том 3, выпуск 4, страницы 65–79 (Mi iigum178)

Объектные модели и распределенные системы знаний

А. В. Манцивода, Н. О. Стукушин

Иркутский государственный университет

Аннотация: В статье рассматриваются вопросы использования дескриптивных логик для построения моделей метаописаний. Предлагается метод построения таких моделей в рамках дескриптивной логики ОО-проекций. Данный метод иллюстрируется на примере классической системы метаописаний — дублинского ядра.

Ключевые слова: онтологии; метаописание; дублинское ядро; язык запросов Libretto; спецификация.

УДК: 518.517



© МИАН, 2024