Розглянуто питання опису закономірностей, що виникають у роботі програмних і апаратних компонентів розподілених інформаційних систем. Введені базові терміни і ряд тверджень, що розширюють багатосортову мову прикладної логіки для опису знань цієї предметної області. Розроблено модель онтології діагностики компонентів розподілених інформаційних систем, що базується на цьому розширенні
Рассмотрен вопрос описания закономерностей, возникающих в работе программных и аппаратных компонентов распределенных информационных систем. Введены базовые термины и ряд утверждений, расширяющие многосортный язык прикладной логики для описания знаний этой предметной области. Разработана модель онтологии диагностики компонентов распределенных информационных систем, основанной на этом расширении
