Pestryakov, Danil. 2025. “Prospects for Using the Ontology Description Language ONTOL V2 in Automating the Knowledge verification Procedure”. Computer Tools in Education, no. 3 (October). https://doi.org/10.32603/2071-2340-2025-3-5.