D. Pestryakov, “Prospects for Using the Ontology Description Language ONTOL V2 in Automating the Knowledge Verification Procedure”, Comput. Tools Educ., no. 3, pp. 65–80, Oct. 2025, doi: 10.32603/2071-2340-2025-3-65-80.