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

1. The Semantic Web http://www.w3.org/2001/sw/

2. Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider(Eds.):TheDescriptionLogicHandbook:Theory,Implementation, and Applications. Cambridge University Press 2003.

3. A.Malykh, and A. Mantsivoda. A Query Language for Logic Architectures. Proceedings of 7th International Conference ’Perspectives of System Informatics’, June 2009.

4. А.А. Малых, А.В. Манцивода, В.С. Ульянов / Логические архитектуры и объектно-ориентированный подход // Вестник НГУ. Серия: Математика, механика, информатика. 2009. Т9. Вып. 3. С. 64-85

5. WebOntology Language(OWL).www.w3.org/2004/OWL

6. Ian Horrocks, and Peter F. Patel-Schneider. Reducing OWL entailment to description logic satisfiability // In: Fensel, D., Sycara, K. and Mylopoulos, J., eds., Proc. of the 2003 International Semantic Web Conference (ISWC 2003). number2870 in Lecture Notes in Computer Science. -p.17-29. -Springer.

7. IMS Global Learning Consortium. http://imsglobal.org/

8. IMSQQTI&Ontologieshttp://meta2project.org/ru/qti.html