Ontologies in the Automation Problem for Situational Modelling

The automation problem is considered for development of situational systems to model dynamic hierarchical spatial complexes (DHSC) under the guidance of a set of ontologies. The novelty of the proposed approach consists in automated semantic search for particular models of DHSC components in a specialized sector of the Internet, their correct automatic connection to the general model of DHSC with analysis of completeness and consistency for the obtained model. Compared to prototypes, the developed model allows detailing the link control up to each material or information signal transferred among DHSC elements. This raises description adequacy of links among object components and decidability control at branching links among model elements. The successful completion of the introduced procedures of correctness analysis assures possibility to automatically generate correct job specifications for simulation performance. The given paper mostly presents matters of the model consistency checks.