RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Известия Иркутского государственного университета. Серия Математика:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Известия Иркутского государственного университета. Серия Математика, 2011, том 4, выпуск 1, страницы 57–72 (Mi iigum94)  

Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)

Объектно-ориентированная дескриптивная логика

А. А. Малых, А. В. Манцивода

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

Аннотация: В работе развиваются логические формализмы, связанные с объектно-ориентированным моделированием. В частности, анализируется опыт работы с дескриптивными логиками, ориентированными на построение объектных моделей логическими средствами (т.н. ОО-проекциями), и рассматриваются вопросы дальнейшего развития этих формализмов. Вводится понятие объектной теории как расширение определения ОО-проекций.

Ключевые слова: дескриптивная логика, объектная модель, ОО-проекция, объектная теория, база знаний, язык программирования Libretto.

Полный текст: PDF файл (651 kB)
Список литературы: PDF файл   HTML файл
Тип публикации: Статья
УДК: 510.62:004.82

Образец цитирования: А. А. Малых, А. В. Манцивода, “Объектно-ориентированная дескриптивная логика”, Известия Иркутского государственного университета. Серия Математика, 4:1 (2011), 57–72

Цитирование в формате AMSBIB
\RBibitem{MalMan11}
\by А.~А.~Малых, А.~В.~Манцивода
\paper Объектно-ориентированная дескриптивная логика
\jour Известия Иркутского государственного университета. Серия Математика
\yr 2011
\vol 4
\issue 1
\pages 57--72
\mathnet{http://mi.mathnet.ru/iigum94}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/iigum94
  • http://mi.mathnet.ru/rus/iigum/v4/i1/p57

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. И. А. Казаков, “Алгебры Кодда и дескриптивные логики”, Известия Иркутского государственного университета. Серия Математика, 4:3 (2011), 68–73  mathnet
    2. А. А. Гаврюшкина, “Теория списков и $\Sigma$-определимость”, Известия Иркутского государственного университета. Серия Математика, 4:4 (2011), 27–38  mathnet
    3. А. А. Малых, А. В. Манцивода, “Объектные теории над списочными надстройками”, Известия Иркутского государственного университета. Серия Математика, 5:4 (2012), 27–44  mathnet
    4. И. А. Казаков, А. А. Малых, А. В. Манцивода, “Погружение реляционных баз данных в объектные онтологии: реализационные аспекты”, Известия Иркутского государственного университета. Серия Математика, 10 (2014), 27–43  mathnet
  • Просмотров:
    Эта страница:153
    Полный текст:62
    Литература:24
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021