System-objective representation of conceptual knowledge with description logic

Abstract

The paper describes the possibilities of applying the system-object approach “Unit- Function-Object” in terms of descriptive logic for describing conceptual knowledge. Conceptual knowledge is represented using a hierarchy of conceptual systems. The syntax and semantics of the descriptive logic ALCOIQ and SHOIQ were described. These allow us to justify the structure of the hierarchy of class systems and the mandatory implementation of the principle of monocentrism for conceptual system