Pestryakov, D. (2025). Prospects for using the ontology description language ONTOL V2 in automating the knowledge verification procedure. Computer Tools in Education, 3. https://doi.org/10.32603/2071-2340-2025-3-5