Pestryakov D. Prospects for using the ontology description language ONTOL V2 in automating the knowledge verification procedure. CTE [Internet]. 2025Oct.1 [cited 2026Apr.26];(3). Available from: http://cte.eltech.ru/ojs/index.php/kio/article/view/1900