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