Объектно-ориентированная дескриптивная логика
| Авторы: | А. А. Малых, А. В. Манцивода |
| Аннотация: | В работе развиваются логические формализмы, связанные с объектно-ориентированным моделированием. В частности, анализируется опыт работы с дескриптивными логиками, ориентированными на построение объектных моделей логическими средствами (т.н. ОО-проекциями), и рассматриваются вопросы дальнейшего развития этих формализмов. Вводится понятие объектной теории как расширение определения ОО-проекций. |
| Ключевые слова: | дескриптивная логика, объектная модель, ОО--проекция, объектная теория, база знаний, язык программирования Libretto |
| УДК: | 510.62, 004.82 |
| Литература: |
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. |