PESTRYAKOV, D. Prospects for using the ontology description language ONTOL V2 in automating the knowledge verification procedure. Computer Tools in Education, n. 3, 1 Oct. 2025.