Базы данных как онтологии
| Авторы: | И. А. Казаков, А. В. Манцивода |
| Аннотация: | В статье исследуется проблема интерпретации баз данных как онтологий. Представлен метод погружения баз данных в онтологии через их моделирование с помощью объектных теорий. Решается проблема построения замкнутого мира баз данных в рамках открытого мира дескриптивных логик. Результаты работы имеют как теоретическое, так и практическое значение, предоставляя метод единообразной работы с базами данных как онтологиями в логических базах знаний. В частности, данный метод применяется для работы с естественнонаучными базами данных, связанными с озером Байкал. |
| Ключевые слова: | онтологии, базы данных, объектные теории, дескриптивные логики, Libretto |
| УДК: | 510.62, 004.82 |
| Литература: |
1. Гончаров С. С. $\Sigma$-программирование / С. С. Гончаров, Д. И. Свириденко // Вычислительные системы. - Новосибирск, 1985. - Вып. 107. - С.3-29. 2. Libretto: объектно-итерационный язык и система управления объектными базами знаний [Электронный ресурс]. - URL: http://ontobox.org. 3. Малых А. А. Объектно-ориентированная дескриптивная логика / А. А. Малых, А. В. Манцивода // Изв. Иркут. гос. ун-та. Сер.: Математика. - 2011.- Т. 4, № 1. 4. Малых А. А. Логические архитектуры и объектно-ориентированный подход / А.А. Малых, А.В. Манцивода, В.С. Ульянов // Вестн. НГУ. Сер.: Математика, механика, информатика. - 2009. - Т. 9, № 3. - С. 64-85. 5. Abiteboul S. Foundations of Databases / Serge Abiteboul, Richard B. Hull, and Victor Vianu. - Addison-Wesley, 1995. - 685 p. 6. Chen P.~P. The Entity-Relationship model: Towards a unified view of data / P.~P.~Chen // ACM Transaction of Database Systems.- 1976. - Vol. 1(1). - P.9-36. 7. Calvanese D. Unifying class based representation formalizms / D. Calvanese, M. Lenzerini, D. Nardi. // Journal of AI Research. - 1999. - Vol. 11. - P. 199-204. 8. 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. 9. 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. 10. Hibernate: Mapping an Object-Oriented Domain Model to a Relational Database [Electronic resource]. - URL: https://www.hibernate.org/. 11. Malykh A. A Query Language for Logic Architectures / A. Malykh, A. Mantsivoda // Proceedings of 7th International Conference <<Perspectives of System Informatics>>. - Springer-Verlag Berlin Heidelberg, Lecture Notes in Computer Science 5947. - 2010. - P. 294-305. 12. Mazzocchi S. Closed World vs. Open World: the First Semantic Web Battle [Electronic resource] / Stefano Mazzocchi. - URL: http://www.betaversion.org/~stefano/linotype/news/91/. 13. Murphy M. J. Towards the Semantic Grid: A State of the Art Survey of Semantic Web Services and their Applica0bility to Collaborative Design, Engineering, and Procurement / M. J. Murphy, M. Dick, T. Fischer // Communications of the IIMA. - 2008. - Vol.8, Issue 3. - P. 11-24. 14. Rosati R. On Combining Description Logic Ontologies and Nonrecursive Datalog Rules / R. Rosati // Lecture Notes in Computer Science. - 2008. - Vol. 341. - Web Reasoning and Rule Systems. - P. 13-27. 15. Supporting Open and Closed World Reasoning on the Web / Carlos Viegas Damasio, Anastasia Analyti, Grigoris Antoniou and Gerd Wagner // Lecture Notes in Computer Science. - 2006. - Vol. 4187. - P.149-163. 16. The Description Logic Handbook: Theory, Implementation, Applications / F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, P.F. Patel-Schneider. - Cambridge, 2003. - P.574. 17. W3C Semantic Web Activity [Electronic resource]. - URL: http://www.w3.org/2001/sw/. |