Логические формализации спецификаций на основе ОО-проекций
| Авторы: | Н. О. Стукушин |
| Аннотация: | В статьерассматриваетсяпроблемапостроениялогическихформализаций стандартов и спецификаций. Формализации полезны как при разработке, так иприиспользовании спецификаций.Вчастности,еслиформализацияосуществлена в конструктивном ключе, то она может служить в качестве основы для реализации релевантных информационных систем. В данной работе развивается подход к формализации спецификаций, использующий специальные подлогики дескриптивных логик. Подход рассматривается на примере спецификаций международного образовательного консорциума IMS. |
| Ключевые слова: | онтология, дескриптивная логика, формализация, спецификация, ОО–проекция, семантический веб |
| УДК: | 510.62, 004.82 |
| Литература: |
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 |