Integration of the description logics axiomatic into relational data model - I. S. Chistjakova (Problems in programming, 2017)