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