Тишин, П. М.; Маковецкий, А. С. Development of Diagnostic Ontology Model of Distributed Information Systems Based on the Many-Sorted Language of Applied Logic. EEJET 2015, 2, 21-26.