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 systems. The concepts of “volume” and “content” of systems-classes were introduced. The results allow us to improve the existing ways of presenting conceptual knowledge, as well as develop models of conceptual knowledge that reflect the systemic reality that exists when solving classification problems.