The technique of using Description Logics in the process of constructing a composite service at the functional level - O. Zakharova (Problems in programming, 2018)