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