Лапшин Владимир Анатольевич – канд. физ-мат. наук Российского государственного гуманитарного университета, г. Москва, mefrill@yandex.ru
ОНТОЛОГИИ И АЛГЕБРАИЧЕСКИЕ СПЕЦИФИКАЦИИ
Приводятся различные аспекты рассмотрения онтологий как алгебраических спецификаций. Алгебраический подход для формирования спецификаций разработан достаточно хорошо, поэтому представляется полезным использовать накопленный опыт для построения онтологий.
Ключевые слова на русском языке:онтологии; алгебраические спецификации; открытые языки представления спецификаций; CASL; instition
ОНТОЛОГИИ И АЛГЕБРАИЧЕСКИЕ СПЕЦИФИКАЦИИ
Приводятся различные аспекты рассмотрения онтологий как алгебраических спецификаций. Алгебраический подход для формирования спецификаций разработан достаточно хорошо, поэтому представляется полезным использовать накопленный опыт для построения онтологий.
Ключевые слова на кыргызском языке:онтологии; алгебраические спецификации; открытые языки представления спецификаций; CASL; instition
ОНТОЛОГИИ И АЛГЕБРАИЧЕСКИЕ СПЕЦИФИКАЦИИ
Приводятся различные аспекты рассмотрения онтологий как алгебраических спецификаций. Алгебраический подход для формирования спецификаций разработан достаточно хорошо, поэтому представляется полезным использовать накопленный опыт для построения онтологий.
Ключевые слова на английском языке:онтологии; алгебраические спецификации; открытые языки представления спецификаций; CASL; instition