Проведен анализ особенностей представления в онтологиях неопределенностей и работы с противоречивыми знаниями. Рассмотрен математический аппарат теории категории, который выступает в роли универсального формализма онтологического описания и является независимым от выбора конкретного языка описания онтологий и специфики реализации. Для обработки неопределенностей и противоречий, возникающих в процессе объединения онтологий и функционировании распределенной интеллектуальной системы выбрано многозначное исчисление присутствия. Для интеграции с существующими в системе знаниями предлагается конвертация онтологии на OWL в модель на многозначном исчислении присутствия, для которого реализован логический вывод.

 Наукова періодика України 

---

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"