інформаційні ресурси, информационные ресурсы ; математичні відношення, математические отношения ; онтологічні бази знань, онтологические базы знаний ; представлення знань, представление знаний, knowledge representation, KR, ; семантичні анотації, семантические аннотации ; Semantic Web

Впервые предложена формальная модель семантической аннотации математической зависимости, которая содержит в себе семантические характеристики математического выражения и средств его реализации в информационном пространстве, а также описывает знания об отношениях между объектами предметной области. Предложенные метод и модели формального описания математического знания нашли свою практическую реализацию при расширении возможностей языков Semantic Web - OWL и RDFS, a также при совершенствовании возможностей среды онтологического моделирования TopBraid Composer за счет придания ему возможности обрабатывать предложенные модели с помощью вычислительных возможностей пакета Mathematica.

• УДК // Штучний інтелект