Pestryakov D. Prospects for using the ontology description language ONTOL V2 in automating the knowledge verification procedure. Computer Tools in Education [Internet]. 2025 Oct. 1 [cited 2026 Sep. 7];(3):65-80. Available from: http://cte.eltech.ru/ojs/index.php/kio/article/view/1900