Using of ontological models for formalized knowledge assessment - Ya. Hladun; K. O. Khala (Computer means, networks and systems, 2019)