Defining and resolving Web-services discovery problems using description logics formalism - O. Zakharova (Problems in programming, 2017)