П. М. Тишин and А. С. Маковецкий, “Development of diagnostic ontology model of distributed information systems based on the many-sorted language of applied logic”, EEJET, vol. 2, no. 2(74), pp. 21–26, Apr. 2015.