Загорулько Юрий Алексеевич (zagor@iis.nsk.su)

Институт систем информатики им. А.П. Ершова СО РАН

В статье рассматриваются современные средства формализации семантики областей знаний на основе онтологий: дескриптивные логики, языки и инструменты формализации знаний, предоставляемые технологией Semantic Web, и другие. Обсуждаются достоинства и недостатки наиболее значимых и популярных из них. Рассматриваются проблемы, возникающие при использовании средств технологии Semantic Web для построения онтологий, и предлагаются пути их решения.

формализация семантики области знаний, онтология, дескриптивные логики, языки описания онтологий, технологии Semantic Web