Application of an Improved Formal Model of the Hybrid Development of Ontologies in Complex Information Systems

: Ontologies in artiﬁcial intelligence systems are an e ﬀ ective way to represent and integrate knowledge and data. The property of such structures is that any subject area is accurately described in formal language. There is a problem in the research and determination of the adequacy of ontologies under development. The perspective directions are model construction for the development of fuzzy ontologies and also the creation of methods for evaluating adequacy. The achieved results allow one to implement the processes of supporting the development and integration of ontologies of complex systems on the basis of intelligent approaches. The method is proposed to solve the problem of alternative representation and the integration of knowledge and data in artiﬁcial intelligence systems. The methodology of improving the model of the hybrid development of fuzzy ontologies is described here; it provides the preliminary modiﬁcation of models of extensive and intensive progress of ontologies in space and time. The identiﬁed features of fuzzy ontology processing allow us to create a procedure for ﬁnding and eliminating inadequacies. The software implementation of the application for the integration and presentation of heterogeneous data is carried out. The consumption of Random Access Memory (RAM) for the proposed models is analyzed. The further perspectives of the proposed research are determined in accordance with the principles of classiﬁcation.


Introduction
Recent trends have proved that large ontologies are being created as a result of the consolidation of small ontologies, and that their specifications must support more than one standard vocabulary. The consolidation of small ontologies can be carried out manually, but in complex systems an intelligent decision-making system is necessary.
The existing practical results [1][2][3][4][5][6][7][8] show that the achievements of the specified directions do not allow us to develop fully functional intelligent decision-making systems which allow us to combine heterogeneous ontologies and then to eliminate the created conflicts. This is a significant drawback, and in order to eliminate it we should find new approaches for the evaluation and analysis of ontologies. The improvement of intelligent methods for the development of ontologies, mechanisms for inadequacy elimination, and increasing the reliability of managerial decisions according to these approaches are relevant trends in the area of computational intelligence during the design of information systems [9,10].
The methodological aspects of the construction of a formal model of intensive ontology development are presented in [11]. This article does not contain one of the important components of 2 of 17 the research on ontological systems-namely, the model of extensive ontology development. There is also no practical implementation of the proposed model of intensive ontology development.
The literary sources [10,[12][13][14][15][16] show the possibilities and efficiency of using the apparatus of fuzzy logic in intelligent systems. The practical application of the method of fuzzy analytical hierarchy is described in detail in the article [17]. The achieved results of the successful implementation of fuzzy tools can be useful for improving fuzzy ontological models which are able to develop in time and space. There is no description of the ontological representation and application of fuzziness in the ontological systems in [10,[12][13][14][15][16][17].
It should be noted that in the works [5,18] the concepts of the terminology hierarchy, consisting of a set of specific concepts, and the relations hierarchy, consisting of a set of certain relations, are not separated; they represent the specified hierarchy through the consolidation of these two sets.
The analyzed scientific and practical literary sources [1][2][3][4][5][6][7][8][9][18][19][20][21] showed that the problem of ontology research is relevant and requires further expansion and improvement. It is necessary to apply a systematic approach to solve the modified ontological tasks. The perspective direction is the improvement of models of the extensive and intensive development of ontologies, which allow us to organize and justify these processes using computational intelligence as well as the effective integration of the proposed ontologies of complex systems.
There are many tools that allow one to manipulate ontologies in different ways [1][2][3]5,7,8]. However, none of them fully solve the aspects of inadequacy occurrence, in particular inconsistency, in the development process, and this is a significant disadvantage. Thus, the provision of appropriate intellectual means will allow us to raise the work of the specialists involved in the collective processing of ontologies to a new level.
The purpose of recent research is to improve models of the extensive and intensive development of fuzzy ontologies using computational intelligence, along with the simultaneous elimination of the inadequacy that can occur during the evolution of ontologies.
The objects of this research are fuzzy ontological models with the ability to develop in time and space. The subject of the proposed research is the existing model of fuzzy ontologies of complex systems.
As a part of this task, it is necessary to analyze existing solutions to generalize approaches for building fuzzy ontologies. Due to the magnitude of the task and the heterogeneity of the research object, one restriction has been introduced: ontologies under research have an expressiveness level, which reduces to computational descriptive logic. This restriction narrows the field of the application of practical results, but does not reduce the significance and relevance of this research.
The article offers and demonstrates: • Building the hybrid mathematical model of ontology development, which integrates extensive and intensive models which describe the evolution in space and time, respectively (Sections 3 and 4). The improved model allows us effectively to solve the tasks of analyzing and evaluating the space of states of analyzed ontologies, as well as to determine, localize, and eliminate the inadequate properties; • The method for eliminating ontologies' inadequate properties (Section 5), which uses formal criteria for incompleteness and the redundancy of inconsistency, allows us to solve tasks in a fuzzy metric space, increasing the probability of the decisions taken; • Algorithmic and software tools for eliminating inconsistency (Sections 5 and 6), obtained as a result of the implementation of the method to eliminate ontological information inadequate properties.
Thus, this article proposes the principles of intelligent tool construction for the task of ontology development, which allow us to solve the tasks of searching and localizing the facts of inadequacy during the evolution of ontologies.

Background
Modern complex systems often face tasks of resource distribution, including knowledge [9]. At present, the most effective means of knowledge distribution is the ontological model [11]. It should be noted that, in many of these works, the distributed ontology is not fully formalized, which does not allow us to abstract from the individual cases and solve the tasks of building datasets and knowledge in a general way. Using the distributed ontologies is advisable only when really enormous volumes of heterogeneous information exist [12]. The most characteristic feature of complex systems, including integrated ones, is decentralization and a low level of unification [11,18,19]. There is no technical possibility of the simultaneous processing of all system information, and it is also impossible to implement universal algorithms of knowledge processing. The information space of complex systems is not sufficiently normalized due to the qualitative and quantitative content. This space is characterized by linguistic variables that expand the space to a fuzzy one [1][2][3][12][13][14]. The ontology is a formal representation of reality; it requires the clear delivery of information, but reality cannot always be clearly expressed, so it is recommended to use fuzzy ontology [11].
The subject of ontology is the study of the categories of things that are or can exist in a particular subject area [4]. The ontology product is a catalog of types of things that are believed to exist in a certain area D for a person who uses the language L to describe D. Types of ontology are entities, meanings of words, concepts, and the relations of the language L to the aspect of description D [19]. Uninterpreted logics, such as the calculus of predicates [5] and conceptual graphs [6], are ontologically neutral. They do not affect the subject or how it can be interpreted. Logic itself means nothing, but the combination of logic with ontology generates a language that can express the relationship between objects in a certain subject area [7].
The existing applied solutions regarding the distributed ontologies are divided into two large groups: 1. The development of ontologies; 2.
The use of ontologies.
The first group includes the development environments, including visualization environments [4], automatic integration mechanisms [13], and version control systems [14], the qualitative review of which was carried out in [5]. Using the first type involves incomplete ontology, which restricts the use of the semantic component. The second group includes information systems based on ontologies [8] and the mechanisms of logical conclusion [15,16]. The second group of solutions can fully use the semantic load of the ontology without restrictions.
During the development of ontologies, it is necessary to take into account the following: • The informal ontology can be specified by a set of types, which are defined using natural language; • The formal ontology is specified by a set of concept names and relations, which are partially ordered using the "type-subtype" relation [11].
The principal tasks that are solved during the creation of systems based on distributed ontologies are the solution of conflict in the case of a conflict and the increase in the completeness and accuracy of information searching in the ontological structure.
One of the important questions relevant to the ontological structures of complex systems is the logical conclusion based on inadequate input data due to such reasons as [15]:

•
The impossibility of the constant functioning of all the subsystems which contain knowledge; • An insufficient amount of time resources needed to obtain all the input data; • An insufficient amount of computing resources needed to process all the input data; • The incompleteness of the input data in the knowledge base.

Materials and Methods
The important difference between the ontological representation of knowledge and simple datasets, frame models, and semantic networks is:

•
The presence of meta-information of any order, which allows us to describe subject areas simultaneously at any level of abstraction [19]; • The minimization of data separation and their description [4]; • The simplicity of knowledge representation, with wide opportunities for automatic interpretation using unified methods [20].
Any ontology Ont is reduced to the expressiveness of descriptive logic and can be presented as a tuple: where TBox is the terminology hierarchy consisting of a set of concepts c; RBox is the relations hierarchy, consisting of a set of relations r; ABox is the statement set a, based on TBox and RBox; and c, and r are ontology elements. It is necessary to configure the process of detecting a specific change ω in ontology Ont automatically when element Elem i changes to the variable ξ i : The identification of change ω significantly increases the work efficiency, reduces the cost of resources for improving the ontology development, and ensures the high reliability of managerial decisions. In order to determine the change ω (1), it is necessary to build classic models of static ontology Ont and ontology, which changes over time t, Ont(t), and to find the regularities of these models.
The improvement of modern complex ontologies has a spontaneous and poorly formalized nature, resulting in the creation of unique structural solutions. Most often, such solutions are not optimal and require additional processing to reduce the complexity of the used algorithms [5].
Let us consider two types of ontologies development-extensive and intensive [11]. The extensive development of ontology is elementary ontology Ont e for a specific ontology Ont r [11]. It must be taken into account that the ontologies in Ont r will be denoted as Ont ext and called an extended: It can be assumed that the intensive development of ontology Ont is such an ontology Ont, which reproduces many specific statements Ont [11].
The proposed extensive development describes the subject area of ontology Ont r fully and in detail. Intensive development shows a set of real Ont and specifies it depending on the identified errors, taking into account the following methodological aspects: where KB is the knowledge base of ontology elements; MI is the meta-information of ontology, where indep (A, B) is an independent element A from element B of ontology Ont; A and B are the ontology elements Ont; ∆ I is the specified universe; and Ont 1 and Ont 2 are the specific ontologies.
Let us consider an improved formal base for the extensive development of ontologies, which can be further used for constructing methods and algorithms during work with distributed ontologies. During this research, the noncontradictory ontologies were applied; this restriction does not reduce the effectiveness of the obtained results, but determines the decomposition level of their use. For any two ontologies, they are associated with the import relation: where RI − is the basic ontology; RI + is the ontology, which imports; RI − and RI + use each other as the basis to build their knowledge structure; and RI is the import relation. Creating the structure, the first ontology develops the knowledge being stored in base one Ont base . This is a simple development that increases knowledge ( Figure 1). Let us consider an improved formal base for the extensive development of ontologies, which can be further used for constructing methods and algorithms during work with distributed ontologies. During this research, the noncontradictory ontologies were applied; this restriction does not reduce the effectiveness of the obtained results, but determines the decomposition level of their use. For any two ontologies, they are associated with the import relation: where − RI is the basic ontology; + RI is the ontology, which imports; − RI and + RI use each other as the basis to build their knowledge structure; and RI is the import relation.
Creating the structure, the first ontology develops the knowledge being stored in base one base Ont . This is a simple development that increases knowledge ( Figure 1). Let us introduce the concept of pseudo-import. A pseudo-import is RI , so that: where pRI is a pseudo-import.
The connection of the development of the form (2) can be removed during the stages of analysis of the general structure according to the following condition: removing some pRI , it is necessary to preserve the transitive integrity of the structure ( Figure 2).  Extension elements do not always depend on the base ontology Ont base . There are some cases when none of the extension elements depend on the base ontology.
Let us introduce the concept of pseudo-import. A pseudo-import is RI, so that: where pRI is a pseudo-import. The connection of the development of the form (2) can be removed during the stages of analysis of the general structure according to the following condition: removing some pRI, it is necessary to preserve the transitive integrity of the structure ( Figure 2).
is an independent element A from element B of ontology Ont ; A and B are the ontology elements Ont ; I Δ is the specified universe; and 1 Ont and 2 Ont are the specific ontologies. Let us consider an improved formal base for the extensive development of ontologies, which can be further used for constructing methods and algorithms during work with distributed ontologies. During this research, the noncontradictory ontologies were applied; this restriction does not reduce the effectiveness of the obtained results, but determines the decomposition level of their use. For any two ontologies, they are associated with the import relation: where − RI is the basic ontology; + RI is the ontology, which imports; − RI and + RI use each other as the basis to build their knowledge structure; and RI is the import relation.
Creating the structure, the first ontology develops the knowledge being stored in base one base Ont . This is a simple development that increases knowledge ( Figure 1). Let us introduce the concept of pseudo-import. A pseudo-import is RI , so that: where pRI is a pseudo-import.
The connection of the development of the form (2) can be removed during the stages of analysis of the general structure according to the following condition: removing some pRI , it is necessary to preserve the transitive integrity of the structure ( Figure 2).  Removing the set of elements, on which ontology elements do not depend, does not influence the general semantics of the ontology. The preservation of transitive integrity during removing the relations of the form (2) is provided by redirecting the connection to all ontology extensions RI − (pRI is eliminated).
Let us consider the representation of the ontology development using the structure T, A , which provides the components of ontology expansion in addition to the existing (base) ontology.
Appl. Sci. 2020, 10, 6777 6 of 17 The representation of the ontology in the form of a meta-description has a number of advantages concerning the application tasks: • The configuration corresponds to the generalized approaches to the ontology description; • The configuration allows us to increase the detailing of the consideration of distributed ontology, without using complex models and software tools; The presentation is used effectively in some existing application programs [12].
At a more detailed level, the simple extension of the base ontology has the following interpretation: where T b , A b = Ont base ; T e , A e -extension elements.
In practice, the extension of the base ontology (3) is carried out through adding the axioms: The set of all extension elements (4) can be called resource R. The ontology extension using resource R allows us to apply the base ontology as a data schema.
The complex type of development of the ontological structure is an integration view. The possibility of integration is one of the basic requirements for ontology. It is characterized by the import of a set of base ontologies.
Formally, the integration development of ontologies has the following form ( Figure 3): where Ont base j is the j base ontology, Ont is the general extension for all Ont base j , and M is the number of ontologies that integrate into Ont.
Appl. Sci. 2020, 10, x FOR PEER REVIEW 6 of 18 Let us consider the representation of the ontology development using the structure A T, , which provides the components of ontology expansion in addition to the existing (base) ontology. The representation of the ontology in the form of a meta-description has a number of advantages concerning the application tasks: • The configuration corresponds to the generalized approaches to the ontology description; • The configuration allows us to increase the detailing of the consideration of distributed ontology, without using complex models and software tools; The presentation is used effectively in some existing application programs [12].
At a more detailed level, the simple extension of the base ontology has the following interpretation: , , ; e e A T , -extension elements.
In practice, the extension of the base ontology (3) is carried out through adding the axioms: . , The set of all extension elements (4) can be called resource R . The ontology extension using resource R allows us to apply the base ontology as a data schema.
The complex type of development of the ontological structure is an integration view. The possibility of integration is one of the basic requirements for ontology. It is characterized by the import of a set of base ontologies.
Formally, the integration development of ontologies has the following form ( Figure 3): , and M is the number of ontologies that integrate into Ont . At the more detailed level, the integrating development can be represented as . , Moreover, is systemically consistent.
The systemically consistent ontology is the set of ontologies for which it is possible to create at least one integrating resource (5) containing at least one noncontradictory axiom. The contradictory axiom is an axiom which is equivalent to the empty set under the given conditions. At the more detailed level, the integrating development can be represented as Moreover, Ont base j = T b j , A b j is systemically consistent. The systemically consistent ontology is the set of ontologies for which it is possible to create at least one integrating resource (5) containing at least one noncontradictory axiom. The contradictory axiom is an axiom which is equivalent to the empty set under the given conditions. Co-development is an important feature of ontologies ( Figure 4); there is no any hierarchy, and i.e., each of the two ontologies is the base and extension for each other.
import Ont x , Ont y ∩ import Ont y , Ont x = 1, where Ont x , Ont y are the common ontologies under development.
Appl. Sci. 2020, 10, x FOR PEER REVIEW 7 of 18 Co-development is an important feature of ontologies ( Figure 4); there is no any hierarchy, and i.e., each of the two ontologies is the base and extension for each other.  Today, in the aspect of the consideration of distributed ontologies, there is a task associated with working with fuzzy imports.
The fuzzy import Import R is the import RImport for which the membership function is defined [3,11], which is interpreted as a coefficient of confidence in the existence of the precise RImport : . , The direct introduction of connections of the form (7) is not typical during the creation of distributed ontologies. The fuzzy import can be detected during the analysis of the structure to determine the presence of pseudo-imports.
The membership function RImport μ of (7) is the maximum value of membership function is the membership function of some relation between Y X , .
If at least one of the elements X has the explicit reference to base Ont , then this is the precise import. If all the links are fuzzy, then the confidence in this import corresponds to the maximum confidence in the existence of one of these links.

Results
The membership functions of transitive relations can be calculated in the following way [15]: Spatially, there are two different ontological substructures, Ont 1 and Ont 2 , but they are always semantically indivisible and are some generalized structure.
Common ontologies under development are not limited by only two substructures; they may be composed of a cycle of any length: where Ont total is the general ontological structure; Ont l is an element belonging to the closed import path; L is the overall length of the cycle; and: A certain extension Ont of the ontological structure is included in some common development Ont total (6), when import (Ont, Ont) = 1-i.e., Ont is the base for itself.
The improvement of the hybrid development of ontologies contains all these features simultaneously. Today, in the aspect of the consideration of distributed ontologies, there is a task associated with working with fuzzy imports.
The fuzzy import RImport is the import RImport for which the membership function is defined [3,11], which is interpreted as a coefficient of confidence in the existence of the precise RImport: The direct introduction of connections of the form (7) is not typical during the creation of distributed ontologies. The fuzzy import can be detected during the analysis of the structure to determine the presence of pseudo-imports.
The membership function µ RImport of (7) is the maximum value of membership function µ(X, Y): is the membership function of some relation between X, Y.
If at least one of the elements X has the explicit reference to Ont base , then this is the precise import. If all the links are fuzzy, then the confidence in this import corresponds to the maximum confidence in the existence of one of these links.
The import in fuzzy ontological structures has some features which take into account (6). The incoherence of fuzzy sets is expressed in the fuzzy ontology through the function incoher(U, V) ∈ [0, 1], then: where α ∈ [0, 1] is the threshold level of insecurity that is specified by the subject domain expert.
We can obtain the improved model for the extensive development of fuzzy ontologies and some basic relations. This model is based on the relations of ontology import and on the property of the independence of ontology elements. This model allows us to describe the static distributed ontologies in general terms. Its use allows us to analyze and modify existing structures algorithmically.
It is necessary to improve the model of the presentation of intensive ontological development, which gives us the opportunity to create effective methods for intelligent systems of decision support during solving ontological engineering tasks.
Ontology Ont is represented by a set: where MO = {Ont i } is the set of elementary ontologies with a tendency to discrete changes (these ontology changes are in intensive development); MRI = RI j is the set of all import relations RI specified on the base of ontology. The section "Results" is based on some results obtained in [11], so the intermediate results are not presented in this article.
It can be assumed that the ontology elements Ont may tend to change over time. The changes are discrete and are made in accordance with the syntax of the chosen language for representing ontologies. Such ontology changes can be called an intensive development.
Any ontology Ont can be changed over time only in a discrete way. The intensive development is a tuple D which describes the evolution Ont: a specific ontology and the moment of time of its obtaining.
where K is the final nonnegative version number Ont.
The improved development of ontology has the following form: where inc_N, dec_N is the set of dependent connections, inc_E, dec_E is the set of independent connections, and ch_E is the set of changed connections (ch_E = ∅ for the precise ontology).
Appl. Sci. 2020, 10, 6777 9 of 17 The improved model of the intensive development of ontology was obtained. This model takes into account the discreteness of ontological knowledge and allows us to represent the ontology evolution process over time.
Let us consider the distributed ontology (8).
It can be assumed that any Ont i ∈ MO corresponds to some development D i (9). For any time value t, we can build the corresponding import structure MRI(t) (MRI = {RI i } , i = 1, N , presented in Figure 5, where the straight line represents RI (import relation), the dashed line represents nRI (constructed relation), and the smaller dashed line (shown by D 1 and D 2 ) represents RD (version relation).
Appl. Sci. 2020, 10, x FOR PEER REVIEW 9 of 18 It can be assumed that any MO Ont i ∈ corresponds to some development i D (9). For any time value t , we can build the corresponding import structure presented in Figure  , where MRI is a constant, we observe the process of intensive change under the static state of the extensive structure. When there is not any change in the structure of import during development, we can consider the change in the entire ontology as a set of intensive parallel processes providing the individual ontologies. Taking into account the continuous value of proximity, we obtain the following: An improved ontology development model is: is number of ontologies at time t related to development D .
The generalization obtained: is the function of the ontology value at time t for development D .
As a result, we obtain the improved hybrid model of (extensively intensive) ontology development, which describes adequately the evolution of any level of complexity in space and in time. Under the condition MRI(t) = MRI, where MRI is a constant, we observe the process of intensive change under the static state of the extensive structure. When there is not any change in the structure of import during development, we can consider the change in the entire ontology as a set of intensive parallel processes providing the individual ontologies.
The improved hybrid model of ontology development may contain gaps in the functions of the ontology values. It can be assumed that some ontology Ont is replaced by two (or more) ontologies Ont 1 and Ont 2 during evolution, and Ont = Ont 1 ∪ Ont 2 .
Taking into account the continuous value of proximity, we obtain the following: aboutness(Ont, Ont 1 ) ∩ aboutness(Ont, Ont 2 ) = f alse, as well as aboutness(Ont, Ont 1 ∪ Ont 2 ) = true. There is a gap in the D value and the occurrence of developments D 1 and D 2 .
An improved ontology development model is: Generalized intensive development: where J(t) is number of ontologies at time t related to development D. The generalization obtained: where f D (t) is the function of the ontology value at time t for development D.
As a result, we obtain the improved hybrid model of (extensively intensive) ontology development, which describes adequately the evolution of any level of complexity in space and in time.
Thus, it obtains the hybrid mathematical model of ontology development, which integrates extensive and intensive models. The improved model allows us to solve different tasks effectively, to analyze and evaluate the space of states of the discussed ontologies, and to identify and eliminate the properties of inadequacy (incompleteness, redundancy, and inconsistency [22]). This model is based on the discreteness of ontology changes over time, as well as on the concepts of independence of elements and ontology imports. The presented model adequately describes the development of precise and fuzzy ontologies.

Implementation of the Method of Eliminating the Inadequacy Properties
Ontologies are complex objects; their life cycle includes many stages of improvement. Monitoring and evaluating the changes that occur during their evolution is a complex task.
The method for determining and eliminating the properties of inadequacy of ontology development is implemented as follows: • Choose the elementary ontology Ont and create the ontology Ont by means of meta-information using the import relation import (RI + , RI − ) = 1, RI = true, 0, RI = f alse.

•
Define the stages of development Ont within which the analysis of adequacy is carried out. The structure Ont can be supplemented with the ontologies which stopped importing over time.

•
On the basis of the available data, build the most complete model of hybrid extensively intensive development Ont(t). In some cases, the constructed model Ont(t) is the simple model of extensive or intensive development.

•
After obtaining the formal development model Ont(t), determine the values of the inadequacy criteria-namely, incompleteness (Npl) and redundancy (Iz). The result of determining these criteria can be effectively interpreted into a binary response.

•
Find and eliminate the inadequate properties according to the method of determining and eliminating the inadequate properties during the ontology evolution. Within the framework of development Ont(t), it is necessary to find the adequate subsets of changes or to affect the model in order to maximize the overall level of adequacy; • The method of determining and eliminating the inadequacy in ontology development is implemented through an algorithm that provides the search of the upper limit of an adequate state.
Fixing some time of ontology development t Ont, the inadequacy of the structure was detected. The use of previous versions of ontologies associated with Ont may result in the adequacy of the entire structure.
Let us consider the algorithm for finding the upper limit of the adequacy of ontology development ( Figure 6).
It can be assumed that there is development , for which it is necessary to determine all the upper limits of adequacy for the ontology Ont at a given moment t k .
Step 1. Set the input values input ontology Ont and elementary ontology Ont e with Ont, for which the search (D ont = Ont, t ) is carried out. Add Ont to the structure queue Queue.
Step 2. The current Ont is equal to the first value in the queue Queue. Remove the first value from the Queue.
Step 4. Perform the rollback operation (the operation of obtaining the previous versions of the ontology): for a set of elementary ontologies of the current structure Rollback (Ont) = {Ont i }.
Step 5. Check whether any values Ont were not in the queue before. Add every {Ont i } to the queue Queue.
Step 7. Add the current Ont to the resulting list "Resulting list".
Step 8. If the Queue is not empty, then go to Step 2, otherwise Exit. ) is carried out. Add Ont to the structure queue Queue.
Step 2. The current Ont is equal to the first value in the queue Queue. Remove the first value During the software implementation of this method, it is necessary to fix and take into account the value of the membership function of ontologies k to the class of consistent ones: where avg(Npl), avg(Iz) are the average values of adequate criteria (redundancy and incompleteness, respectively); de f ch is the configurable generalized threshold of acceptable changes.
The development of fuzzy ontology is adequate if the value is A ≥ 0.5. The ontological representation of knowledge is associated with significant requirements for computational resources-namely, memory v and computation time t. In this regard, any algorithmic solutions in this area require testing for computational complexity.
For the constructed models of ontology development, there are some proposed recommendations for application which allow us to implement software solutions for the simulation and analysis of the ontology evolution processes. To solve the practical tasks, there are some represented and well-grounded algorithmic tools for analyzing the researched ontologies using generalized criteria of inadequacy within the developed hybrid model of the development of fuzzy ontologies.

Experiments and Discussion
Let us consider the application of the structural-temporal approach to the Semantic Web for Earth and Environmental Terminology (SWEET) ontologies [23].
The SWEET NASA ontology is the generalized ontology that describes the basic mathematical, physical, chemical, biological, astronomical, and geographical phenomena; human activities; and some specific knowledge. Its dimension is about 7200 elements (4500 classes, 200 relations, and 2500 objects).
SWEET ontologies are hybrid extensively intensive development (the structure of imports is preserved over a certain period of time).
The process of the simplification of the extensively intensive development is shown on the ontology with 180 classes, 270 relations, and 3950 objects.
It can be assumed that a certain set of ontologies is imported into Ont: units, f oa f , rd f , xsd, rd f s, owl, wot, dc, dcterms, dctype, bibtex.
Analyzing the connections of each of the imported ontologies, we may construct the ontological structure in accordance with (8) in the form of a graph of connections of each imported ontology (Figure 7). The resulting graph requires further simplification.
Let us find the value pRI for Ont in accordance with (2): The vertices of the graph bibtex, units, dctype have only input arcs, but the main vertex is Ont. After the operation of folding the cycles, the new vertices are formed on the graph, and then we repeat the operation until it makes changes to the graph. Having performed the operation of the definition of a set of imports without duplicate arcs, and having applied the improved hybrid model of ontology development, we obtain the partial simplification of the structure (Figure 8a). The complete simplification of the given structure is shown in Figure 8b. The resulting structure contains an exclusively additive type of development which is the simplest. Obviously, it is much simpler than the original structure.  have only input arcs, but the main vertex is Ont . After the operation of folding the cycles, the new vertices are formed on the graph, and then we repeat the operation until it makes changes to the graph. Having performed the operation of the definition of a set of imports without duplicate arcs, and having applied the improved hybrid model of ontology development, we obtain the partial simplification of the structure (Figure 8a). The complete simplification of the given structure is shown in Figure 8b. Let us demonstrate the process of the intensive development of the basic elementary ontology "units" with SWEET. This ontology contains information about physical units of measurement. The study was conducted in three versions: The transition from version 1 to version 2 was caused by the requirement to add basic proportions-for example, "percentage" and "ppm". The change in version included the change in the representation of the "volt" concept. The set of added objects is reflected by the quantitative characteristics of the VERSION 12 line ( Table 1).
The transition from version 2 to version 3 was accompanied by fewer changes, but they were more complex. There are a number of new relations between existing objects. Some string values have been corrected. The complex process of change is represented in column A and in row VERSION 23 (Table 1).
Obviously, VERSION 13 line is equivalent to the elemental addition of lines VERSION 12 and VERSION 23 . This confirms the linearity of development D units as well as the independence of the changes.
The software implementation of the program for the integration and presentation of heterogeneous data of information systems is carried out using the method of determining and eliminating the properties of the inadequacy of ontology development.
For development (10), Table 2 presents the detailed results. The resulting structure contains an exclusively additive type of development which is the simplest. Obviously, it is much simpler than the original structure.
Let us demonstrate the process of the intensive development of the basic elementary ontology "units" with SWEET. This ontology contains information about physical units of measurement. The study was conducted in three versions: The transition from version 1 to version 2 was caused by the requirement to add basic proportions-for example, "percentage" and "ppm". The change in version included the change in the representation of the "volt" concept. The set of added objects is reflected by the quantitative characteristics of the VERSION12 line ( Table 1).
The transition from version 2 to version 3 was accompanied by fewer changes, but they were more complex. There are a number of new relations between existing objects. Some string values have been corrected. The complex process of change is represented in column A and in row VERSION23 (Table 1).   The value of the function of the membership of the ontology development relates to the class of consistent k = 0.05.
The ontology development is adequate; the value A = 0.66 meets the accepted condition A ≥ 0.5. The user interface for monitoring the adequacy of ontology development with preliminary automatic preparation and analysis is shown in Figure 9. The user interface for monitoring the adequacy of ontology development with preliminary automatic preparation and analysis is shown in Figure 9. This development is hybrid intensively extensive, with a constant structure of imports, and provides a decrease in the number of objects, which are duplicated, and an increase in the semantic connections between research objects.
The models of the extensive and intensive development of ontologies allow us to divide the analyzed object into elementary modules, which gives us the opportunity to operate with a limited amount of data per unit of time.
The analysis of the RAM consumption for the proposed models (Table 3) showed that the consumption linearly depends on the number of elements that make up the structure module being considered at the moment.  This development is hybrid intensively extensive, with a constant structure of imports, and provides a decrease in the number of objects, which are duplicated, and an increase in the semantic connections between research objects.
The models of the extensive and intensive development of ontologies allow us to divide the analyzed object into elementary modules, which gives us the opportunity to operate with a limited amount of data per unit of time.
The analysis of the RAM consumption for the proposed models (Table 3) showed that the consumption linearly depends on the number of elements that make up the structure module being considered at the moment. For the number of elements in the ontology-10,000, which is a large segment of development-you need a maximum of 230 Mb of RAM; this allows us to build models on the most modern personal computers. There is no need to impose the additional requirements for software implementations and hardware.
Thus, the method of the effective use of the fuzzy ontology development model in intelligent decision-making systems was implemented using the Borland Delphi software. The task of eliminating inadequacy (incompleteness, redundancy, inconsistency), which occurs in the course of ontology development, has been solved. The algorithmic and decision-making tools have been introduced during the management of integration processes and the support of complex system ontologies.

Conclusions
Models of the extensive and intensive development of ontologies were proposed; these models take into account the description of ontologies in space and time. This interpretation allows us to solve problems regarding the space of states of ontologies under development to find and remove the properties of inadequacy using the mechanisms of computational intelligence.
The formal model of hybrid (extensively intensive) development has been improved, which includes the resulting models of the extensive and intensive development of ontologies. The model allows us to consider any ontological evolution in a general way and to cover fully the life cycle of ontology, which is necessary during the design and construction of the management system of the distributed ontology. The work reveals the features of the application of fuzzy ontologies in terms of the relations of fuzzy ontology import that are sometimes important for solving complex structured problems.
The presented models provide the integration of a set of ontologies using the relations of import, which significantly reduces the time resources for generalizing the conclusions of the individual ontologies under development by means of computational intelligence.
The experimental operation of the proposed software application based on the model of the hybrid extensively intensive development of ontologies has confirmed the effectiveness of the integration and presentation of the heterogeneous data of information systems during decision-making regarding the objects of the subject area.
The requirements for the amount of memory for the implementation of the proposed models are commensurate with the size of the ontology description, and the analysis time is much less than the process of direct ontology loading.
The further stages of research in this direction may be the classification of cases of the internal inconsistency of individual elements of the ontology, the improvement of functional algorithms for simplifying ontologies, the determination of evaluation criteria for ontology connectivity, and the calculation of thresholds for the fuzzy functions. It is possible to develop methods for presenting fuzzy information in ontologies, which allow us to work with fuzzy ontologies without defined specifications, significantly reducing the time resources needed for generalizing conclusions and reducing the requirements for input information.