1. Zuenko A., Lomov P., Oleynik A. Application of Constraint Propagation Techniques to Speed up Processing of Queries to Ontologies // SPIIRAS Proceedings. 2017. № 50 (1). C. 112-136.