THE DEVELOPMENT OF A FORMALIZED LANGUAGE OF RISK ANALYSIS DESCRIPTION LOGIC BASED
Abstract
The development of formali3ed kno0ledge representation language for risk anal2sis in comple1 technical s2stems 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 0ith language ALC and the corresponding a1ioms are introduced. An e1ample of assets diagram and a description of this diagram
using the concepts of developed language of risk anal2sis are sho0n
