journal.isu.ru

Начальная страница

Конечная страница

УДК

Раздел
     

Файл
Скачать Изменить файл

Название RU

Авторы RU

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

Ключевые слова RU

Литература RU
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

Название EN

Авторы EN

Аннотация EN
<p>In this paper the formalization development problem for standards and specificationsis considered.Such formalizations are useful at both specification development and specification application phases. In particular, if a formalization is made in a constructive way, it can serve as a basis for the implementation of relevant information systems. In this paper an approach to specification formalization is developed, which is based on special sub-logics of description logics. The approach is illustrated on the example of the specifications of the international educational consortium IMS.</p>

Ключевые слова EN

Литература EN