Pestryakov D. Prospects for Using the Ontology Description Language ONTOL V2 in Automating the Knowledge Verification Procedure // Comput. Tools Educ. St. Petersburg, Russia, 2025. № 3. Pp. 65-80.