Formalization of system-objective approach with the use of descriptional logic

Author(s):  V.V. Mikhelev, candidate of Sciences, Belgorod National Research University, Belgorod, Russia, keeper121@ya.ru

S.I. Matorin, Dr., Prof., «SoftConnect» Ltd., Belgorod, Russia, matorin@softconnect.ru

Issue:  Volume 46, № 2

Rubric:  System analysis and processing of knowledge

Annotation:  This article provides a brief description of the «Union-Function-Object» system-object approach, proposes a new way to formalize the «Union-Function-Object» three-element construction (UFO-element) using descriptive logic ALCOQ. Considered the possibility of using DL for representing systems in an unambiguous, formalized form. Such logics combine rich expressive capabilities and relatively low computational complexity. DL uses the concepts of individual, concept and role. The basic theoretical concepts of description logic (DL) are described on the basis of the ALC DL and its extension ALCOQ. A description was given of each part of the UFO element in form of ALCOQ DL. Examples of operations on systems formalized using the ALCOQ DL-based UFO-approach are shown on the basis of graphic formalization. For instance, connecting two systems, combining systems on an input, combining systems on an output, adding up a combining on an output and combining on an input. The described method of system-object knowledge modeling allows to obtain logical chains of concepts and connect them with roles.

Keywords:  system-object approach, formalization, element «Union-Function-Object», ALC and ALCOQ descriptive logic.

Full text (PDF):  Download

Downloads count:  274