journal.isu.ru

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

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

УДК

Раздел
     

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

Название RU

Авторы RU

Аннотация RU
<p>В работе развиваются логические формализмы, связанные с объектно-ориентированным моделированием. В частности, анализируется опыт работы с дескриптивными логиками, ориентированными на построение объектных моделей логическими средствами (т.н. ОО-проекциями), и рассматриваются вопросы дальнейшего развития этих формализмов. Вводится понятие объектной теории как расширение определения ОО-проекций.</p>

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

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

Название EN

Авторы EN

Аннотация EN
<p>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.</p>

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

Литература EN