List of issues > Series «Mathematics». 2011. Vol. 1
Object Oriented Description Logic
In this paper logical formalisms connected to object-oriented modeling are considered. In particular, the experience of the application of description logics intended for logical object model development (so-called OO-projections) is analyzed, and the issues of the further development of the approach are presented and discussed. The notion of an object theory is introduced as an extension of OO--projections.
1. Гончаров С. С. E-программирование / С. С. Гончаров, Д. И. Свириденко // Вычисл. системы. - Новосибирск, 1985. - Вып. 107. - С. 3-29.
2. Малых А. А. Логические архитектуры и объектно-ориентированный подход / А. А. Малых, А. В. Манцивода, В. С. Ульянов // Вестн. НГУ. Сер.: Математика, механика, информатика. - 2009. – Т. 9, № 3. - С. 64-85.
3. Объектно-итерационный язык Libretto [Электронный ресурс]. - URL: http://ontobox.org.
4. Ershov Yu. L. Semantic Programming / Yu. L Ershov, S. S. Goncharov, D. I. Sviridenko // Information processing, Proc. IFIP 10th World Comput. Congress, Dublin. - 1986. - Vol. 10. - P. 1093-1100.
5. Horrocks I. Patel-Schneider. Reducing OWL entailment to description logic satisfiability / Ian Horrocks and F. Peter // : Proc. of the 2003 International Semantic Web Conference (ISWC 2003)/ eds. D. Fensel, K. Sycara, J. Mylopoulos. - Springer, 2003. - Lecture Notes in Computer Science 2870. - P. 17-29.
6. Liskov B. A behavioral notion of subtyping / Barbara Liskov, Jeannette Wing // ACM Transactions on Programming Languages and Systems (TOPLAS). - 1994. - Vol. 16, Iss. 6. - P. 1811-1841.
7. Malykh A. A Query Language for Logic Architectures / A. Malykh, A. Mantsivoda // Perspectives of System Informatics : Proceedings of 7th International Conference. - Springer-Verlag Berlin Heidelberg, 2010. - Lecture Notes in Computer Science 5947. - P. 294-305.
8. The Description Logic Handbook: Theory, Implementation, Applications / F. Baader, D. Calvanese , D. L. McGuinness, D. Nardi, P.F. Patel-Schneider. - Cambridge, 2003. - P.574.
9. Web Ontology Language (OWL) [Electronic resource]. - URL: www.w3.org/2004/OWL.