D. Pestryakov, “Prospects for using the ontology description language ONTOL V2 in automating the knowledge verification procedure”, Компьютерные инструменты в образовании, no. 3, Oct. 2025, doi: 10.32603/2071-2340-2025-3-5.