Pestryakov D. Prospects for Using the Ontology Description Language ONTOL V2 in Automating the Knowledge Verification Procedure. Comput. Tools Educ. [Internet]. 2025 Oct. 1 [cited 2026 Oct. 23];(3):65-80. Available from: http://cte.eltech.ru/ojs/index.php/kio/article/view/1900