Тишин, П. М., and А. С. Маковецкий. “Development of Diagnostic Ontology Model of Distributed Information Systems Based on the Many-Sorted Language of Applied Logic”. Eastern-European Journal of Enterprise Technologies, vol. 2, no. 2(74), Apr. 2015, pp. 21-26, doi:10.15587/1729-4061.2015.40548.