A formalization of models of subject areas is not limited to an enumeration of the concepts of the corresponding ontology but includes a description of the relationships existing between the objects of these subject areas. In this case, it is necessary to take into account the properties of mappings that carry the corresponding relations of objects of the real world into the relations of the signs of the model.