D. Pestryakov, “Prospects for using the ontology description language ONTOL V2 in automating the knowledge verification procedure”, CTE, no. 3, Oct. 2025.