В статье рассматриваются вопросы моделирования алгебр Кодда в рамках дескриптивных логик. В частности, показана выразимость операций реляционной алгебры Кодда в терминах объектных теорий, моделирующих базы данных. Результаты работы имеют как теоретическое, так и практическое значение, поскольку разрабатываемй метод позволяет работать с базами данных как онтологиями в логических базах знаний.

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.