Return to Article Details Development of diagnostic ontology model of distributed information systems based on the many-sorted language of applied logic Download Download PDF