Pestryakov, D. 2025. Prospects for Using the Ontology Description Language ONTOL V2 in Automating the Knowledge Verification Procedure. Computer Tools in Education. 3 (Oct. 2025), 65–80. DOI:https://doi.org/10.32603/2071-2340-2025-3-65-80.