Алгебры Кодда и дескриптивные логики
| Авторы: | И. А. Казаков |
| Аннотация: | В статье рассматриваются вопросы моделирования алгебр Кодда в рамках дескриптивных логик. В частности, показана выразимость операций реляционной алгебры Кодда в терминах объектных теорий, моделирующих базы данных. Результаты работы имеют как теоретическое, так и практическое значение, поскольку разрабатываемй метод позволяет работать с базами данных как онтологиями в логических базах знаний. |
| Ключевые слова: | онтологии, базы данных, объектные теории, дескриптивные логики, Libretto |
| УДК: | 518.517 |
| Литература: |
1. Казаков И. А. Базы данных как онтологии / И. А. Казаков, А. В. Манцивода // Изв. Иркут. гос. ун-та. Сер. Математика. – 2011. – Т. 4, № 1. – С. 20–30. 2. Малых А. А. Объектно-ориентированная дескриптивная логика / А. А. Малых, А. В. Манцивода // Изв. Иркут. гос. ун-та. Сер. Математика. – 2011. – Т. 4, № 1. – С. 57–72. 3. Abiteboul S. Foundations of Databases / S. Abiteboul, R. B. Hull, V. Vianu. – Addison-Wesley, 1995. – 685 p. 4. 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. 5. Libretto: объектно-итерационный язык и система управления объектными базами знаний [Электронный ресурс]. – URL: http://ontobox.org. 6. 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. |