Pestryakov D. Prospects for using the ontology description language ONTOL V2 in automating the knowledge verification procedure // Computer Tools in Education. St. Petersburg, Russia, 2025. № 3. Pp. 65-80.