Scientific and Technical Journal


ISSN Print 2221-3937
ISSN Online 2221-3805
The development of a formalized language of risk analysis description logic based

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.


1. Baader F. The Description Logic Hand-book: Theory, Implementation, and Applica-tions. / Franz Baader, Diego Calvanese, Deb-orah McGuinness, Daniele Nardi, Peter F. Patel-Schneider // Cambridge University Press, 2003.
2. Dahl Heidi E. I. Structured semantics for the CORAS security risk modelling language. / Heidi E. I. Dahl, Ida Hogganvik, Ketil Stolen // Technical Report A970, SINTEF ICT, 2007.
3. Eremeev A.P. A real-time decision sup-port system prototype for management of a power block. / A.P. Eremeev, // International Journal "Information Theories & Applications" Vol.10, 2003, pp 248-255.
Last download:
25 Jan 2020

[ © KarelWintersky ] [ All articles ] [ All authors ]
[ © Odessa National Polytechnic University, 2014-2018. Any use of information from the site is possible only under the condition that the source link! ]