В статье рассматривается проблема построения логических формализации стандартов и спецификаций. Формализации полезны как при разработке, так и при использовании спецификаций. В частности, если формализация осуществлена в конструктивном ключе, то она может служить в качестве основы для реализации релевантных информационных систем. В данной работе развивается подход к формализации спецификаций, использующий специальные подлогики дескриптивных логик. Подход рассматривается на примере спецификаций международного образовательного консорциума IMS.
онтология, дескриптивная логика, спецификация, оо-проекция, семантический веб