Defining degree of semantic similarity using description logic tools - O. V. Zakharova (Problems in programming, 2021)