Pestryakov, D. Prospects for Using the Ontology Description Language ONTOL V2 in Automating the Knowledge verification Procedure. CTE 2025.