Тип публикации: патент
Год издания: 2019
Аннотация: Программа предназначена для выявления конфликтов между требованиями к программному продукту. Входными данными для программы являются файлы OWL онтологий требований. Программа обеспечивает выполнение следующих функций: построение продукционных правил для обработки отношений между концептами онтологии, сохранение построенной модели, Показать полностьюредактирование ранее построенных моделей, анализ требований, представленных в виде экземпляров классов OWL онтологии по построенным моделям. В ходе анализа требований программа импортирует данные об экземплярах классов и отношениях между ними в базу фактов на языке Prolog, правила модели - в правила логического вывода на языке Prolog и выполняет поиск решения, сопоставляя требования попарно.