List of issues > Series «Mathematics». 2009. Vol. 2
Logical Formalizations of Specifications Based on OO-projections
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.
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