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