Разработка формализованного языка анализа рисков на основе дескрипционной логики

Abstract

Рассмотрен вопрос разработки формализованного языка представления знаний для анализа рисков в сложной технической системе. Описаны основные понятия диаграмм рисков CORAS и языка дескрип- ционной логики ALC. Введены концепты и роли, описывающие основные понятия языка CORAS на языке ALC, и соответствующие аксиомы. Приведен пример диаграммы активов и описание данной диаграммы с помощью понятий разработанного языка анализа рисков.

Розглянуто питання розробки формалізованої мови представлення знань для аналізу ризиків у складній технічній системі. Описано основні поняття діаграм ризиків CORAS і мови дескрипціонної логіки ALC. Введено концепти і ролі, що описують основні поняття мови CORAS мовою ALC, і відповідні аксіоми. Наведено приклад діаграми активів і опис даної діаграми за допомогою понять розробленої мови аналізу ризи- ків.

The development of formalized knowledge representation language for risk analysis in complex technical systems is considered. The basic concepts of CORAS risk diagrams and basic definitions of description logic language ALC are described. The concepts and the role describing the basic concepts of language CORAS with language ALC and the corresponding axioms are introduced. An example of assets diagram and a description of this diagram using the concepts of developed language of risk analysis are shown.