=Paper= {{Paper |id=Vol-3013/20210024 |storemode=property |title=Difference of Fuzzy Homogeneous Classes of Objects |pdfUrl=https://ceur-ws.org/Vol-3013/20210024.pdf |volume=Vol-3013 |authors=Dmytro Terletskyi,Sergey Yershov |dblpUrl=https://dblp.org/rec/conf/icteri/TerletskyiY21 }} ==Difference of Fuzzy Homogeneous Classes of Objects== https://ceur-ws.org/Vol-3013/20210024.pdf
Difference of Fuzzy Homogeneous Classes of Objects
Dmytro O. Terletskyi1 , Sergey V. Yershov2
1
    V. M. Glushkov Institute of Cybernetics of NAS of Ukraine, Academician Glushkov Avenue, 40, Kyiv, 03187, Ukraine
2
    V. M. Glushkov Institute of Cybernetics of NAS of Ukraine, Academician Glushkov Avenue, 40, Kyiv, 03187, Ukraine


                                         Abstract
                                         Analysis of relevance, similarity, and the difference between extracted or acquired new knowledge items
                                         and previously obtained ones are important stages of the knowledge integration process for modern
                                         knowledge-based systems. These stages can be performed via the application of special operations de-
                                         fined over the knowledge representation structures provided by chosen representation model. Within
                                         the object-oriented approach, classes are one of the main knowledge representation structures, conse-
                                         quently, the analysis of the relevance, similarity, and difference between them requires the development
                                         of corresponding operations over classes. Therefore the concept of universal difference exploiter of
                                         fuzzy homogeneous classes of objects, within such a knowledge representation model as fuzzy object-
                                         oriented dynamic networks, was introduced in the paper. To implement the proposed exploiter, which
                                         allows computing of the difference of one fuzzy homogeneous class of objects from another one, we
                                         developed the corresponding algorithm and provided an example of its application. The proposed ap-
                                         proach provides an opportunity to evaluate the relevance and novelty level for extracted or acquired
                                         fuzzy knowledge items, compared with previously obtained ones, by computing the difference between
                                         them.

                                         Keywords
                                         Fuzzy class, Fuzzy type, Universal difference exploiter, Difference of fuzzy classes




1. Introduction
The analysis of knowledge structures for their proper integration into the knowledge base and
organizing future reasoning processes is a crucial and important task for modern knowledge-
based systems (KBSs). To manage such a challenge, a KBS should be able to perform the
comparative analysis of extracted or acquired new knowledge items with previously obtained
ones. It allows a system to estimate the level of novelty for extracted knowledge items as well
as to conclude about their similarity and differences with other knowledge items, which are
already integrated within a knowledge base. Taking into account such parameters, it is possible
to integrate new extracted or acquired knowledge items into the knowledge base avoiding their
representation redundancy.
   According to the concept of knowledge integration proposed by Murray and Porter in [1, 2, 3,
4, 5], it can be defined as a task of incorporating new information into a knowledge base, which
requires elaborating new information and resolving inconsistencies with existing knowledge.

17th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization
and Knowledge Transfer, September 28 – October 2, 2021, Kherson, Ukraine
   dmytro.terletskyi@gmail.com (D. O. Terletskyi); ErshovSV@nas.gov.ua (S. V. Yershov)
 0000-0002-7393-1426 (D. O. Terletskyi); 0000-0002-9895-777X (S. V. Yershov)
                                       Β© 2021 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).
    CEUR
    Workshop
    Proceedings
                  http://ceur-ws.org
                  ISSN 1613-0073       CEUR Workshop Proceedings (CEUR-WS.org)
The corresponding computational model of knowledge integration incorporates the following
main stages:
   1. Recognition: Identification of relevance between new and previously obtained knowledge.
   2. Elaboration: Determination of interactions of obtained new knowledge items on previ-
      ously obtained ones, and how they can affect them.
   3. Adaptation: Resolving of previously detected abnormalities within the knowledge base.
The model was implemented within the knowledge acquisition tool KI for management of a
large Botany Knowledge Base, which incorporates knowledge about plant anatomy, physiology,
and development.
   The recognition stage of the knowledge integration process requires performing the verifica-
tion of such relations between new and previously obtained knowledge items as equivalence,
inclusion, similarity, difference, etc. However, each knowledge representation model provides
a suite of particular representation structures and corresponding tools for their management.
Therefore knowledge analysis approaches are oriented toward certain knowledge representation
paradigms or models. Within the object-oriented knowledge representation approach such
structures as objects, classes, metaclasses, and relations among them, form a basic representation
suite. Consequently, knowledge analysis within such an approach can be interpreted as a
comparison of corresponding representation structures. Since a class is a widely-used represen-
tation structure, thus the comparative analysis of classes is one of the important and priority
knowledge analysis tasks within the object-oriented approach. One of the known approaches
to solving this task is to define the special operations over classes, in particular set-theoretical
ones. According to the approach, a class is considered as a collection of properties and methods,
consequently, the application of basic set-theoretical operations such as union, intersection,
difference, and symmetric difference, provides a corresponding framework for the analysis of
knowledge items, which are represented in terms of classes.
   However, different object-oriented knowledge representation models use distinct concepts of
a class, consequently, all mentioned set-theoretical operations should be adapted for a particular
knowledge representation model and appropriate interpretation of a class. In addition, the
classical (crisp) object-oriented paradigm has some representation restrictions, which limit its
application for modeling vague, imprecise as well as uncertain entities and domains. Therefore
in this paper, we adapted the set-theoretical difference for such knowledge representation model
as fuzzy object-oriented dynamic networks in the form of the corresponding universal exploiter
of fuzzy homogeneous classes of objects. To implement the proposed universal difference
exploiter, we developed an appropriate algorithm and provided a representative example of its
application for the knowledge analysis within fuzzy object-oriented dynamic networks.


2. Fuzzy Classes and Types
A class is one of the main representation structures in class-based object-oriented programming,
in a variety of object-oriented knowledge representation models as well as in object-oriented
databases. According to the classical (crisp) definition, a class can be interpreted as the collection
of properties (specification) and collection of methods (signature), which define a common
structure and typical behavior for all instances of the class, respectively.
   However, as it was noted in [6, 7], despite all benefits of crisp classes and objects, they
can be inefficient for the construction of realistic representation models of vague, imprecise,
or uncertain entities or domains, because of their descriptive restrictions. Therefore a crisp
class-based object-oriented model was extended using notions of fuzzy sets and linguistic
variables, which were introduced by Zade in [8, 9, 10, 11]. The main idea of such extension is to
define values of class properties as fuzzy sets or as linguistic variables, which are more complex
structures defined as the term-set interpreted using appropriate fuzzy variables defined by fuzzy
sets. It led to the appearance of concepts of fuzzy attributes and fuzzy objects, described in [6].
The next step in fuzzification of the object-oriented paradigm was to introduce a measure of
truth for each property of the class, which is defined on the interval of real numbers [0, 1]. Then,
concepts of fuzzy methods and fuzzy types were introduced in [12, 13, 14, 15], as well as the
concept of fuzzy classes and fuzzy class hierarchies were proposed in [7]. One more step was to
define a membership degree for objects of a class as well as membership degree for subclasses
of a class, which led to the appearance of classification of fuzziness levels, introduced in [16],
and the notion of fuzzy classes of fuzzy objects, which were introduced in [17, 18, 19, 20].
   Many of the introduced interpretations of fuzzy types and fuzzy classes were proposed as
fuzzy extensions of the object-oriented entity-relationship model, used in databases, where
attributes of a class are considered separately from each other. However, such interpretation
of a class or a type is distinguished from corresponding interpretation within the class-based
object-oriented programming and many object-oriented knowledge representation models,
where properties and methods of a class can have internal dependencies from each other. As it
was shown in [21], the internal structure of a class consists of structural and functional atoms
as well as structural and functional molecules, created by properties and methods of a class. It
specifies the main difference between the concept of a class within object-oriented programming
as well as knowledge representation and similar concept within object-oriented databases.
   Another extension of the class-based object-oriented model was implemented within such
knowledge representation model, as fuzzy object-oriented dynamic networks (FOODNs), which
was proposed in [22, 23] and later extended in [24, 25]. Similar to other object-oriented models,
such concepts as fuzzy objects, fuzzy classes, and fuzzy relations are also used within the FOODNs.
The structure of a fuzzy class also defined by a collection of crisp and (or) fuzzy properties,
while its behavior is determined by a collection of crisp and (or) fuzzy methods. However, in
contrast to other object-oriented models, the specification of a fuzzy class of objects consists of
quantitative and qualitative properties. Quantitative properties represent evident numerical or
symbolic single-valued or multi-valued characteristics, while qualitative properties represent
more complex, not obvious features defined based on other properties and methods of the class
[24, 25]. The signature of a fuzzy class of objects consists of methods, which define a common
behavior and opportunities to check and (or) to modify the structure of a particular instance of
the class. Similar to other object-oriented models, each fuzzy class within FOODNs defines the
particular fuzzy type, which identifies a common structure and behavior for all fuzzy objects of
the class. Therefore such classes can be called homogeneous ones. Let us consider the definition
of the fuzzy homogeneous class of objects within FOODNs introduced in [24, 25].
Definition 1. A fuzzy homogeneous class of objects is a collection
                   𝑇 /𝑀 (𝑇 ) = (𝑃 (𝑑), 𝐹 (𝑑))/𝑀 (𝑇 ) = ((𝑝1 (𝑑)/πœ‡(𝑝1 (𝑑)), . . . ,
                𝑝𝑛 (𝑑)/πœ‡(𝑝𝑛 (𝑑))), (𝑓1 (𝑑)/πœ‡(𝑓1 (𝑑)), . . . , π‘“π‘š (𝑑)/πœ‡(π‘“π‘š (𝑑))))/𝑀 (𝑇 ),

where 𝑑 is a fuzzy type which is defined by the class 𝑇 , 𝑝𝑖 (𝑑)/πœ‡(𝑝𝑖 (𝑑)) ∈ 𝑃 (𝑑) is a crisp or fuzzy
property of the class 𝑇 , 𝑓𝑗 (𝑑)/πœ‡(𝑓𝑗 (𝑑)) ∈ 𝐹 (𝑑) is its crisp or fuzzy method, πœ‡(𝑝𝑖 (𝑑)) : 𝑝𝑖 (𝑑) β†’
(0, 1] and πœ‡(𝑓𝑗 (𝑑)) : 𝑓𝑗 (𝑑) β†’ (0, 1] are measures of fuzziness of a property 𝑝𝑖 (𝑑) and a method
𝑓𝑗 (𝑑), and 𝑀 (𝑇 ) is a measure of fuzziness of the class 𝑇 , i.e.

       𝑀 (𝑇 ) = ((πœ‡(𝑝1 (𝑑)) + Β· Β· Β· + πœ‡(𝑝𝑛 (𝑑))) + (πœ‡(𝑓1 (𝑑)) + Β· Β· Β· + πœ‡(π‘“π‘š (𝑑))))/(𝑛 + π‘š).

   Analyzing Definition 1, we can see that in the context of fuzziness of attributes and methods,
a concept of a fuzzy homogeneous class of objects is similar to the concept of the fuzzy type
described in [12, 13, 14, 15] as well as to the concept of the fuzzy class described in [17, 18, 19, 20],
while the measure of fuzziness of the class itself is defined as the arithmetic mean of measures of
the truth of all its properties and methods. Similar to homogeneous classes, fuzzy homogeneous
classes of objects define only a single fuzzy type of objects, therefore as in class-based object-
oriented programming, a fuzzy type of objects and a fuzzy homogeneous class of objects can be
considered as equivalent concepts.


3. Difference of Fuzzy Homogeneous Classes
As it was mentioned above, to perform knowledge integration in the proper way, a KBS should
be able to analyze the relevance, similarity, and differences between extracted or acquired new
knowledge items and previously obtained ones, which are represented in terms of fuzzy classes.
Therefore we propose to consider set-theoretical difference adapted for fuzzy classes as a tool
for dynamic creation of new fuzzy classes of objects which represent of difference of one fuzzy
class from another one. The idea to apply set-theoretical operations to fuzzy classes, fuzzy
objects as well as fuzzy relations is widely used in many interpretations. As the result, it was
used to implement algebraic operations for fuzzy object-oriented database language [26], query
processing within the fuzzy relational object-oriented databases [27, 28, 19, 29, 17, 30], relational
uncertain databases [31], the blurry classes within the fuzzy object-oriented databases [32],
supporting fuzzy XML queries [33, 19] and handling uncertain spatiotemporal data [34, 35],
biomedical fuzzy HBase databases [36], etc.
   All mentioned algebras provide different signatures, however, all of them contain an adapted
operation of set-theoretical difference, defined over fuzzy objects, or fuzzy classes, or fuzzy
relations. However, in most cases, it is used for database querying on the level of objects,
classes, and relations, when the data or knowledge are already integrated within the database
or knowledge base. Therefore we propose to consider the application of difference operation,
defined over the fuzzy homogeneous classes of objects, in the context of knowledge analysis as
a part of the knowledge integration process.
   The concept of difference of classes of objects was introduced in [22, 23] in a form of a
corresponding universal exploiter for classes of fuzzy objects. Later the concept of a fuzzy class
of objects was proposed in [24, 25]. Let us define the notion of difference exploiter for fuzzy
homogeneous classes of objects via generalizing its versions for the classes of fuzzy objects.
Definition 2. Difference 𝑇1 βˆ– 𝑇2 of two fuzzy homogeneous classes of objects 𝑇1 /𝑀 (𝑇1 ) and
𝑇2 /𝑀 (𝑇2 ), which define fuzzy types of objects 𝑑1 and 𝑑2 correspondingly, is a fuzzy homogeneous
class of objects 𝑇1βˆ–2 /𝑀 (𝑇1βˆ–2 ), which define fuzzy type of objects 𝑑1βˆ–2 , such that
                    (οΈ€        )οΈ€ (︁ *       (︁
                                                      *
                                                         )︁ (︁
                                                                 *
                                                                           )︁     (︁
                                                                                     *
                                                                                          )︁)︁
      𝑑1βˆ–2 βŠ† 𝑑1 | βˆ„ 𝑑1βˆ–2 ∩ 𝑑2 ∧ βˆ„π‘‘1βˆ–2 | 𝑑1βˆ–2 βŠ† 𝑑1βˆ–2 ∧ 𝑑1βˆ–2 βŠ† 𝑑1 ∧ βˆ„ 𝑑1βˆ–2 ∩ 𝑑2 .

The fuzzy class 𝑇1βˆ–2 /𝑀 (𝑇1βˆ–2 ) exists if and only if βˆƒπ‘π‘–1 (𝑑1 ), βˆƒπ‘π‘–2 (𝑑2 ), such that 𝑝𝑖1 (𝑑1 ) ̸≑ 𝑝𝑖2 (𝑑2 ),
or βˆƒπ‘“π‘—1 (𝑑1 ), βˆƒπ‘“π‘—2 (𝑑2 ), such that 𝑓𝑗1 (𝑑1 ) ̸≑ 𝑓𝑗2 (𝑑2 ), where 𝑝𝑖1 (𝑑1 ) is an 𝑖1 -th property of the fuzzy
type 𝑑1 , 𝑖1 = 1, |𝑃 (𝑑1 )|, 𝑝𝑖2 (𝑑2 ) is an 𝑖2 -th property of the fuzzy type 𝑑2 , 𝑖2 = 1, |𝑃 (𝑑2 )|, 𝑓𝑗1 (𝑑1 )
is an 𝑗1 -th method of the fuzzy type 𝑑1 , 𝑗1 = 1, |𝐹 (𝑑1 )|, 𝑓𝑗2 (𝑑2 ) is an 𝑗2 -th method of the fuzzy
type 𝑑2 , 𝑗2 = 1, |𝐹 (𝑑2 )|.
   The universal difference exploiter creates a fuzzy homogeneous class of objects 𝑇1βˆ–2 /𝑀 (𝑇1βˆ–2 ),
which represents the difference of the fuzzy class of objects 𝑇1 /𝑀 (𝑇1 ) from the fuzzy class
of objects 𝑇2 /𝑀 (𝑇2 ) if such difference exists. The class 𝑇1βˆ–2 /𝑀 (𝑇1βˆ–2 ) defines a fuzzy type of
objects 𝑑1βˆ–2 βŠ† 𝑑1 , which consists of crisp and (or) fuzzy properties and (or) methods, which are
typical only for the fuzzy type of objects 𝑑1 .
   To implement a universal exploiter of fuzzy homogeneous classes of objects, the corresponding
algorithm should analyze specifications and signatures of fuzzy homogeneous classes of objects
𝑇1 /𝑀 (𝑇1 ), 𝑇2 /𝑀 (𝑇2 ) and find properties and methods of the fuzzy class 𝑇1 /𝑀 (𝑇1 ), which
are not typical for the fuzzy class of objects 𝑇2 /𝑀 (𝑇2 ). For this purpose, we used the [25,
Algorithm 1] for checking the equivalence of fuzzy quantitative properties, [25, Algorithm 2]
for checking the equivalence of fuzzy qualitative properties, and [25, Algorithm 3] for checking
the equivalence of fuzzy methods. As the result, we developed Algorithm 1, which implements
the idea of universal difference exploiter for fuzzy homogeneous classes of objects.
   Analyzing Algorithm 1, we can see that it uses fuzzy homogeneous classes of objects
𝑇1 /𝑀 (𝑇1 ), 𝑇2 /𝑀 (𝑇2 ) as the input data and computes the difference of the class 𝑇1 /𝑀 (𝑇1 ) from
the class 𝑇2 /𝑀 (𝑇2 ) in a form of a new fuzzy homogeneous class of objects 𝑇1βˆ–2 /𝑀 (𝑇1βˆ–2 ) =
𝑇1 /𝑀 (𝑇1 ) βˆ– 𝑇2 /𝑀 (𝑇2 ) if such difference exists. The algorithm successively constructs the
specification and signature of class 𝑇1βˆ–2 /𝑀 (𝑇1βˆ–2 ) and these stages are independent ones,
consequently, such computations also can be performed in parallel mode. The polymorphic
function is_equivalent checks the equivalence of two fuzzy properties 𝑝𝑖 (𝑇1 )/πœ‡(𝑝𝑖 (𝑇1 )),
𝑝𝑗 (𝑇2 )/πœ‡(𝑝𝑗 (𝑇2 )) or methods 𝑓𝑖 (𝑇1 )/πœ‡(𝑓𝑖 (𝑇1 )), 𝑓𝑗 (𝑇2 )/πœ‡(𝑓𝑗 (𝑇2 )) and if they are equivalent
ones it returns 1, otherwise it returns 0. It can be implemented in various ways using corre-
sponding algorithms for checking the equivalence of fuzzy properties and methods, which were
proposed in [25].
   Let us estimate the time and space complexity of Algorithm 1. As we can see, during the
analysis of specifications and signatures of classes 𝑇1 /𝑀 (𝑇1 ) and 𝑇2 /𝑀 (𝑇2 ) the algorithm
checks the equivalence of |𝑃 (𝑇1 )| Γ— |𝑃 (𝑇2 )| = 𝑛 Γ— π‘š properties and |𝐹 (𝑇1 )| Γ— |𝐹 (𝑇2 )| = π‘˜ Γ— π‘ž
methods. In addition, to construct the specification 𝑃 (𝑇1βˆ–2 ) and signature 𝐹 (𝑇1βˆ–2 ) of the fuzzy
class 𝑇1βˆ–2 /𝑀 (𝑇1βˆ–2 ), it performs copying of 𝑀1 properties and 𝑀2 methods of the fuzzy class
𝑇1 /𝑀 (𝑇1 ), which are not typical for the fuzzy class 𝑇2 /𝑀 (𝑇2 ), where 0 ≀ 𝑀1 ≀ |𝑃 (𝑇1 )| and
0 ≀ 𝑀2 ≀ |𝐹 (𝑇1 )|. Therefore, the time complexity of Algorithm 1 is equal to
              𝑂(𝑛 Γ— π‘š) + 𝑂(π‘˜ Γ— π‘ž) + 𝑂(𝑀1 ) + 𝑂(𝑀2 ) β‰ˆ 𝑂(𝑛2 + π‘˜ 2 + 𝑀1 + 𝑀2 ),
Algorithm 1 Difference of fuzzy homogeneous classes.
Require: 𝑇1 /𝑀 (𝑇1 ), 𝑇2 /𝑀 (𝑇2 ) – fuzzy homogeneous classes
Ensure: 𝑇 /𝑀 (𝑇 ) = 𝑇1 /𝑀 (𝑇1 ) βˆ– 𝑇2 /𝑀 (𝑇2 )
 1: 𝑇 := {};
 2: π‘’π‘›π‘–π‘žπ‘’π‘’ := true;
 3: for all 𝑝𝑖 /πœ‡(𝑝𝑖 ) ∈ 𝑃 (𝑇1 ) do
 4:   for all 𝑝𝑗 /πœ‡(𝑝𝑗 ) ∈ 𝑃 (𝑇2 ) do
 5:      if is_equivalent(𝑝𝑖 /πœ‡(𝑝𝑖 ), 𝑝𝑗 /πœ‡(𝑝𝑗 )) then
 6:         π‘’π‘›π‘–π‘žπ‘’π‘’ := false;
 7:         break;
 8:   if π‘’π‘›π‘–π‘žπ‘’π‘’ then
 9:      if 𝑃 (𝑇 ) ̸∈ 𝑇 then
10:         𝑃 := {};
11:         𝑇.add(𝑃 );
12:      𝑃 (𝑇 ).add(𝑝𝑖 /πœ‡(𝑝𝑖 ))
13:   else
14:      π‘’π‘›π‘–π‘žπ‘’π‘’ := true;
15: π‘’π‘›π‘–π‘žπ‘’π‘’ := true;
16: for all 𝑓𝑖 /πœ‡(𝑓𝑖 ) ∈ 𝐹 (𝑇1 ) do
17:   for all 𝑓𝑗 /πœ‡(𝑓𝑗 ) ∈ 𝐹 (𝑇2 ) do
18:      if is_equivalent(𝑓𝑖 /πœ‡(𝑓𝑖 ), 𝑓𝑗 /πœ‡(𝑓𝑗 )) then
19:         π‘’π‘›π‘–π‘žπ‘’π‘’ := false;
20:         break;
21:   if π‘’π‘›π‘–π‘žπ‘’π‘’ then
22:      if 𝐹 (𝑇 ) ̸∈ 𝑇 then
23:         𝐹 := {};
24:         𝑇.add(𝐹 );
25:      𝐹 (𝑇 ).add(𝑓𝑖 /πœ‡(𝑓𝑖 ))
26:   else
27:      π‘’π‘›π‘–π‘žπ‘’π‘’ := true;
28: return 𝑇 .


where 𝑛2 is a number of properties equivalence checks, π‘˜ 2 is a number of methods equivalence
checks, 𝑀1 and 𝑀2 is a number of copying operations of properties and methods of fuzzy class
𝑇1 /𝑀 (𝑇1 ). To perform main computations Algorithm 1 uses 𝑠 units of memory for storing fuzzy
type 𝑑1βˆ–2 , therefore its space complexity is equal to 𝑂(𝑠), where 0 ≀ 𝑠 ≀ |𝑃 (𝑇1 )| + |𝐹 (𝑇1 )|.


4. Application Example
Let us consider a few fuzzy homogeneous classes of objects, represented in terms of fuzzy
object-oriented dynamic networks, which simultaneously have equivalent and nonequivalent
subclasses. Let us suppose that the first fuzzy homogeneous class of objects π»π‘œπ‘šπ‘’πΉ π‘Ÿπ‘–π‘‘π‘”π‘’
defines the fuzzy type π‘‘β„Žπ‘“ 1 , which describes a fuzzy concept of a home fridge, which has the
following representation:

       π»π‘œπ‘šπ‘’πΉ π‘Ÿπ‘–π‘‘π‘”π‘’(
            𝑝1 = (π‘Ÿπ‘’π‘“ π‘Ÿπ‘–π‘”π‘’π‘Ÿπ‘Žπ‘‘π‘œπ‘Ÿ_π‘£π‘œπ‘™π‘’π‘šπ‘’, (𝑣 ∈ 𝑇 (π‘Ÿ_π‘£π‘œπ‘™π‘’π‘šπ‘’), π‘ π‘‘π‘Ÿ))/1,
            𝑝2 = (𝑓 π‘Ÿπ‘’π‘’π‘§π‘’π‘Ÿ_π‘£π‘œπ‘™π‘’π‘šπ‘’, (𝑣 ∈ 𝑇 (𝑓 _π‘£π‘œπ‘™π‘’π‘šπ‘’), π‘ π‘‘π‘Ÿ))/1,
            𝑝3 = (𝑐𝑒𝑒, (𝑣 ∈ 𝑉𝑐𝑒𝑒 , π‘ π‘‘π‘Ÿ))/1,
            𝑝4 = (π‘Žπ‘’π‘, (𝑣 ∈ π‘‰π‘Žπ‘’π‘ , π‘˜π‘Š β„Ž))/1,
            𝑝5 = (𝑠𝑖𝑧𝑒𝑠, ((𝑣1 ∈ π‘‰β„Žπ‘’π‘–π‘”β„Žπ‘‘ , π‘π‘š), (𝑣2 ∈ π‘‰π‘€π‘–π‘‘π‘‘β„Ž , π‘π‘š), (𝑣3 ∈ π‘‰π‘‘π‘’π‘π‘‘β„Ž , π‘π‘š))/1,
            𝑝6 = (π‘π‘œπ‘šπ‘π‘Žπ‘π‘‘π‘›π‘’π‘ π‘ , (𝑣𝑓6 (π»π‘œπ‘šπ‘’πΉ π‘Ÿπ‘–π‘‘π‘”π‘’.𝑠𝑖𝑧𝑒𝑠), 𝑣 ∈ [0, 1]))/0.93,
            𝑝7 = (π‘π‘œπ‘™π‘œπ‘Ÿ, (𝑣 ∈ π‘‰π‘π‘œπ‘™π‘œπ‘Ÿ , π‘ π‘‘π‘Ÿ))/1,
            𝑝8 = (π‘€π‘’π‘–π‘”β„Žπ‘‘, (𝑣 ∈ 𝑇 (π‘€π‘’π‘–π‘”β„Žπ‘‘), π‘ π‘‘π‘Ÿ))/1,
            𝑝9 = (π‘›π‘œπ‘–π‘ π‘–π‘›π‘’π‘ π‘ , (𝑣 ∈ 𝑇 (π‘›π‘œπ‘–π‘ π‘–π‘›π‘’π‘ π‘ ), π‘ π‘‘π‘Ÿ))/0.75,
           𝑝10 = (π‘π‘Ÿπ‘–π‘π‘’, (𝑣 ∈ π‘‰π‘π‘Ÿπ‘–π‘π‘’ , N+ ))/1,
            𝑓1 = 𝑔𝑒𝑑_π‘π‘Ÿπ‘–π‘ π‘_π‘€π‘’π‘–π‘”β„Žπ‘‘()/0.93,
            𝑓2 = 𝑔𝑒𝑑_𝑓 𝑒𝑧𝑧𝑦_π‘π‘Ÿπ‘–π‘π‘’(π‘Ž, 𝑏, π‘˜)/0.87
         )/0.96,

refrigerator volume is a fuzzy quantitative property defined as a linguistic variable, which has
the following term-set

               𝑇 (π‘Ÿ_π‘£π‘œπ‘™π‘’π‘šπ‘’) = {π‘£π‘’π‘Ÿπ‘¦ π‘ π‘šπ‘Žπ‘™π‘™, π‘ π‘šπ‘Žπ‘™π‘™, π‘šπ‘’π‘‘π‘–π‘’π‘š, 𝑏𝑖𝑔, π‘£π‘’π‘Ÿπ‘¦ 𝑏𝑖𝑔},

where fuzzy variables very small, small, medium, big, and very big are defined over the interval
of integer numbers π‘ˆ = [40, 425], which means the volume of the refrigerator in π‘π‘š3 , and
have the following interpretation:

         𝑀 (π‘£π‘’π‘Ÿπ‘¦ π‘ π‘šπ‘Žπ‘™π‘™) = {40/1 + 50/0.95 + 60/0.85 + 70/0.7 + 80/0.65} π‘π‘š3 ,
       𝑀 (π‘ π‘šπ‘Žπ‘™π‘™) = {95/0.92 + 110/0.78 + 125/0.63 + 140/0.55 + 150/0.45} π‘π‘š3 ,
       𝑀 (π‘šπ‘’π‘‘π‘–π‘’π‘š) = {170/0.78 + 190/0.92 + 210/1 + 230/0.92 + 250/0.78} π‘π‘š3 ,
          𝑀 (𝑏𝑖𝑔) = {270/0.82 + 290/0.94 + 310/1 + 330/0.94 + 350/0.82} π‘π‘š3 ,
       𝑀 (π‘£π‘’π‘Ÿπ‘¦ 𝑏𝑖𝑔) = {365/0.65 + 380/0.72 + 395/0.86 + 410/0.93 + 425/1} π‘π‘š3 ;

freezer volume is a fuzzy quantitative property defined as a linguistic variable, which has the
following term-set

               𝑇 (𝑓 _π‘£π‘œπ‘™π‘’π‘šπ‘’) = {π‘£π‘’π‘Ÿπ‘¦ π‘ π‘šπ‘Žπ‘™π‘™, π‘ π‘šπ‘Žπ‘™π‘™, π‘šπ‘’π‘‘π‘–π‘’π‘š, 𝑏𝑖𝑔, π‘£π‘’π‘Ÿπ‘¦ 𝑏𝑖𝑔},

where fuzzy variables very small, small, medium, big, and very big are defined over the interval
of integer numbers π‘ˆ = [10, 275], which means the volume of the freezer in π‘π‘š3 , and have the
following interpretation:

        𝑀 (π‘£π‘’π‘Ÿπ‘¦ π‘ π‘šπ‘Žπ‘™π‘™) = {10/1 + 17/0.94 + 24/0.85 + 31/0.78 + 38/0.65} π‘π‘š3 ,
            𝑀 (π‘ π‘šπ‘Žπ‘™π‘™) = {50/1 + 57/0.92 + 64/0.86 + 71/0.73 + 78/0.61} π‘π‘š3 ,
         𝑀 (π‘šπ‘’π‘‘π‘–π‘’π‘š) = {90/0.85 + 100/0.93 + 110/1 + 120/0.93 + 130/0.85} π‘π‘š3 ,
           𝑀 (𝑏𝑖𝑔) = {140/0.82 + 155/0.93 + 170/1 + 185/0.93 + 200/0.82} π‘π‘š3 ,
        𝑀 (π‘£π‘’π‘Ÿπ‘¦ 𝑏𝑖𝑔) = {215/0.67 + 230/0.79 + 245/0.88 + 260/0.95 + 275/1} π‘π‘š3 ;

cee is a crisp quantitative property, which means the class of energy efficiency to which the fridge
belongs, and is defined over the set of string values 𝑉𝑐𝑒𝑒 = {𝐴+++ , 𝐴++ , 𝐴+ , 𝐴, 𝐡, 𝐢, 𝐷, 𝐹 };
aec is a crisp quantitative property, which means the annual energy consumption by the fridge
in π‘˜π‘Š β„Ž, and is defined over the following interval of integer numbers π‘‰π‘Žπ‘’π‘ = [100, 360]; sizes
is a crisp multiple-valued quantitative property, which means dimensions of the fridge in π‘π‘š,
and is defined over the intervals of integer numbers π‘‰β„Žπ‘’π‘–π‘”β„Žπ‘‘ = [45, 205], π‘‰π‘€π‘–π‘‘π‘‘β„Ž = [35, 95],
π‘‰π‘‘π‘’π‘π‘‘β„Ž = [55, 85]; compactness is a fuzzy qualitative property defined by verification function

                      𝑣𝑓6 (π»π‘œπ‘šπ‘’πΉ π‘Ÿπ‘–π‘‘π‘”π‘’) : π»π‘œπ‘šπ‘’πΉ π‘Ÿπ‘–π‘‘π‘”π‘’.𝑠𝑖𝑧𝑒𝑠 β†’ [0, 1],

where 𝑣𝑓6 (π»π‘œπ‘šπ‘’πΉ π‘Ÿπ‘–π‘‘π‘”π‘’) is defined as follows

                                                       𝑉 βˆ’ π‘‰π‘šπ‘–π‘›
                             𝑣𝑓6 (π»π‘œπ‘šπ‘’πΉ π‘Ÿπ‘–π‘‘π‘”π‘’) =                  ,
                                                      π‘‰π‘šπ‘Žπ‘₯ βˆ’ π‘‰π‘šπ‘–π‘›
where

                               𝑉 = 𝑠𝑖𝑧𝑒𝑠.𝑣1 Β· 𝑠𝑖𝑧𝑒𝑠.𝑣2 Β· 𝑠𝑖𝑧𝑒𝑠.𝑣3 ,
                       π‘‰π‘šπ‘–π‘› = min(π‘‰β„Žπ‘’π‘–π‘”β„Žπ‘‘ ) Β· min(π‘‰π‘€π‘–π‘‘π‘‘β„Ž ) Β· min(π‘‰π‘‘π‘’π‘π‘‘β„Ž ),
                      π‘‰π‘šπ‘Žπ‘₯ = max(π‘‰β„Žπ‘’π‘–π‘”β„Žπ‘‘ ) Β· max(π‘‰π‘€π‘–π‘‘π‘‘β„Ž ) Β· max(π‘‰π‘‘π‘’π‘π‘‘β„Ž );

color is a crisp quantitative property, which means the color of the fridge, and is defined over
the following set of string values

            π‘‰π‘π‘œπ‘™π‘œπ‘Ÿ = {𝑏𝑒𝑖𝑔𝑒, π‘€β„Žπ‘–π‘‘π‘’, π‘”π‘Ÿπ‘Žπ‘β„Žπ‘–π‘‘π‘’, π‘”π‘œπ‘™π‘‘π‘’π‘›, π‘π‘Ÿπ‘œπ‘€π‘›, π‘Ÿπ‘’π‘‘, π‘ π‘‘π‘Žπ‘–π‘›π‘™π‘’π‘ π‘  𝑠𝑑𝑒𝑒𝑙,
      π‘ π‘–π‘™π‘£π‘’π‘Ÿ, π‘”π‘Ÿπ‘’π‘¦, π‘‘π‘–π‘‘π‘Žπ‘›π‘–π‘’π‘š, π‘π‘™π‘Žπ‘π‘˜, π‘π‘Ÿπ‘œπ‘›π‘§π‘’, 𝑏𝑙𝑒𝑒, π‘”π‘Ÿπ‘’π‘’π‘›, π‘œπ‘Ÿπ‘Žπ‘›π‘”π‘’, π‘π‘–π‘›π‘˜, π‘–π‘£π‘œπ‘Ÿπ‘¦, π‘π‘’π‘Ÿπ‘π‘™π‘’};

weight is a fuzzy quantitative property defined as a linguistic variable, which has the following
term-set
                 𝑇 (π‘€π‘’π‘–π‘”β„Žπ‘‘) = {π‘™π‘–π‘”β„Žπ‘‘π‘€π‘’π‘–π‘”β„Žπ‘‘, π‘šπ‘’π‘‘π‘–π‘’π‘š, β„Žπ‘’π‘Žπ‘£π‘¦, π‘£π‘’π‘Ÿπ‘¦ β„Žπ‘’π‘Žπ‘£π‘¦},
where fuzzy variables lightweight, medium, heavy, and very heavy are defined over the interval
of integer numbers π‘ˆ = [10, 135], which means the weight of the fridge in π‘˜π‘”, and have the
following interpretation:

          𝑀 (π‘™π‘–π‘”β„Žπ‘‘π‘€π‘’π‘–π‘”β„Žπ‘‘) = {10/1 + 20/0.95 + 30/0.88 + 40/0.79 + 50/0.68} π‘˜π‘”,
            𝑀 (π‘šπ‘’π‘‘π‘–π‘’π‘š) = {55/0.83 + 60/0.94 + 65/1 + 70/0.94 + 75/0.83} π‘˜π‘”,
            𝑀 (β„Žπ‘’π‘Žπ‘£π‘¦) = {80/0.86 + 85/0.95 + 90/1 + 95/0.95 + 100/0.86} π‘˜π‘”,
        𝑀 (π‘£π‘’π‘Ÿπ‘¦ β„Žπ‘’π‘Žπ‘£π‘¦) = {115/0.71 + 120/0.79 + 125/0.88 + 130/0.96 + 135/1} π‘˜π‘”;
noisiness is a fuzzy quantitative property defined as a linguistic variable, which has the following
term-set
                             𝑇 (π‘›π‘œπ‘–π‘ π‘–π‘›π‘’π‘ π‘ ) = {π‘™π‘œπ‘€, π‘šπ‘’π‘‘π‘–π‘’π‘š, β„Žπ‘–π‘”β„Ž},
where fuzzy variables low, medium, and high are defined over the interval of real numbers
π‘ˆ = [30, 45], which means the noisiness of the fridge in 𝑑𝐡, and have the following meaning:

             𝑀 (π‘™π‘œπ‘€) = {30/1 + 31/0.97 + 32/0.93 + 33/0.89 + 34/0.82} 𝑑𝐡,
           𝑀 (π‘šπ‘’π‘‘π‘–π‘’π‘š) = {35/0.92 + 36/0.98 + 37/1 + 38/0.98 + 39/0.92} 𝑑𝐡,
             𝑀 (β„Žπ‘–π‘”β„Ž) = {40/0.83 + 41/0.88 + 42/0.92 + 43/0.97 + 44/1} 𝑑𝐡;

price is a crisp quantitative property, which means the price of the fridge in UAH, and is
defined over the interval of integer numbers π‘‰π‘π‘Ÿπ‘–π‘π‘’ = [2200, 255000]; get_crisp_weight is a
fuzzy method that computes defuzzification representation of the fuzzy quantitative property
weight and defined in the following way:
                                           βˆ‘οΈ€|π‘€π‘’π‘–π‘”β„Žπ‘‘.𝑣|
                                              𝑖=1      πœ‡(π‘€π‘’π‘–π‘”β„Žπ‘‘.𝑣) Β· π‘€π‘’π‘–π‘”β„Žπ‘‘.𝑣
                 𝑔𝑒𝑑_π‘π‘Ÿπ‘–π‘ π‘_π‘€π‘’π‘–π‘”β„Žπ‘‘() =            βˆ‘οΈ€|π‘€π‘’π‘–π‘”β„Žπ‘‘.𝑣|                 ;
                                                   𝑖=1        πœ‡(π‘€π‘’π‘–π‘”β„Žπ‘‘.𝑣)

get_fuzzy_price is a fuzzy method that computes fuzzification representation of the crisp quan-
titative property price and defined in the following way:

               𝑔𝑒𝑑_𝑓 𝑒𝑧𝑧𝑦_π‘π‘Ÿπ‘–π‘π‘’(π‘Ž, 𝑏, π‘˜) = {π‘₯βˆ’     βˆ’                +     +
                                             𝑖 /πœ‡(π‘₯𝑖 ), π‘π‘Ÿπ‘–π‘π‘’.𝑣/1, π‘₯𝑖 /πœ‡(π‘₯𝑖 )},

where π‘Ž < π‘π‘Ÿπ‘–π‘π‘’.𝑣 < 𝑏 and π‘˜ is the incremental for the generation of π‘₯βˆ’
                                                                      𝑖 and π‘₯𝑖 , 𝑖 = 1, . . .
                                                                             +


                    π‘₯βˆ’
                     𝑖 = π‘π‘Ÿπ‘–π‘π‘’.𝑣 βˆ’ π‘˜ * 𝑖, π‘Ž < π‘π‘Ÿπ‘–π‘π‘’.𝑣 βˆ’ π‘˜ * 𝑖 < π‘π‘Ÿπ‘–π‘π‘’.𝑣,
                     π‘₯+
                      𝑖 = π‘π‘Ÿπ‘–π‘π‘’.𝑣 + π‘˜ * 𝑖, π‘π‘Ÿπ‘–π‘π‘’.𝑣 < π‘π‘Ÿπ‘–π‘π‘’.𝑣 + π‘˜ * 𝑖 < 𝑏,

and where
                  π‘₯βˆ’
                   𝑖 βˆ’π‘Ž
       πœ‡(π‘₯βˆ’
          𝑖 )=              βˆ’ π›Ώπ‘–βˆ’ , π›Ώπ‘–βˆ’ = 1 βˆ’ πœ‡(π‘₯βˆ’        βˆ’       βˆ’            βˆ’
                                                 𝑖 ) βˆ’ 𝜈(π‘₯𝑖 ), 𝜈(π‘₯𝑖 ) = 1 βˆ’ πœ‡(π‘₯𝑖 ),
                π‘π‘Ÿπ‘–π‘π‘’.𝑣 βˆ’ π‘Ž
                  𝑏 βˆ’ π‘₯+
       πœ‡(π‘₯+
          𝑖 ) =         𝑖
                            βˆ’ 𝛿𝑖+ , 𝛿𝑖+ = 1 βˆ’ πœ‡(π‘₯+        +       +            +
                                                 𝑖 ) βˆ’ 𝜈(π‘₯𝑖 ), 𝜈(π‘₯𝑖 ) = 1 βˆ’ πœ‡(π‘₯𝑖 ).
                𝑏 βˆ’ π‘π‘Ÿπ‘–π‘π‘’.𝑣
   As we can see, the fuzzy class of objects π»π‘œπ‘šπ‘’πΉ π‘Ÿπ‘–π‘‘π‘”π‘’ has a measure of its fuzziness, which
is equal to 0.96 according to Definition 1.
   Now let us suppose that the second fuzzy homogeneous class of objects π»π‘œπ‘‘π‘’π‘™πΉ π‘Ÿπ‘–π‘‘π‘”π‘’ defines
the fuzzy type π‘‘β„Žπ‘“ 2 , which describes a fuzzy concept of a hotel fridge, which has the following
representation:

        π»π‘œπ‘‘π‘’π‘™πΉ π‘Ÿπ‘–π‘‘π‘”π‘’(
            𝑝1 = (π‘Ÿπ‘’π‘“ π‘Ÿπ‘–π‘”π‘’π‘Ÿπ‘Žπ‘‘π‘œπ‘Ÿ_π‘£π‘œπ‘™π‘’π‘šπ‘’, (𝑣 ∈ 𝑇 (π‘Ÿ_π‘£π‘œπ‘™π‘’π‘šπ‘’), π‘ π‘‘π‘Ÿ))/1,
            𝑝2 = (𝑓 π‘Ÿπ‘’π‘’π‘§π‘’π‘Ÿ_π‘£π‘œπ‘™π‘’π‘šπ‘’, (𝑣 ∈ 𝑇 (𝑓 _π‘£π‘œπ‘™π‘’π‘šπ‘’), π‘ π‘‘π‘Ÿ))/0.78,
            𝑝3 = (𝑐𝑒𝑒, (𝑣 ∈ 𝑉𝑐𝑒𝑒 , π‘ π‘‘π‘Ÿ))/1,
            𝑝4 = (π‘Žπ‘’π‘, (𝑣 ∈ π‘‰π‘Žπ‘’π‘ , π‘˜π‘Š β„Ž))/1,
            𝑝5 = (𝑠𝑖𝑧𝑒𝑠, ((𝑣1 ∈ π‘‰β„Žπ‘’π‘–π‘”β„Žπ‘‘ , π‘π‘š), (𝑣2 ∈ π‘‰π‘€π‘–π‘‘π‘‘β„Ž , π‘π‘š), (𝑣3 ∈ π‘‰π‘‘π‘’π‘π‘‘β„Ž , π‘π‘š))/1,
            𝑝6 = (π‘π‘œπ‘šπ‘π‘Žπ‘π‘‘π‘›π‘’π‘ π‘ , (𝑣𝑓6 (π»π‘œπ‘‘π‘’π‘™πΉ π‘Ÿπ‘–π‘‘π‘”π‘’.𝑠𝑖𝑧𝑒𝑠), 𝑣 ∈ [0, 1]))/0.93,
            𝑝7 = (π‘π‘œπ‘™π‘œπ‘Ÿ, (𝑣 ∈ π‘‰π‘π‘œπ‘™π‘œπ‘Ÿ , π‘ π‘‘π‘Ÿ))/1,
            𝑝8 = (π‘€π‘’π‘–π‘”β„Žπ‘‘, (𝑣 ∈ 𝑇 (π‘€π‘’π‘–π‘”β„Žπ‘‘), π‘ π‘‘π‘Ÿ))/1,
            𝑝9 = (π‘›π‘œπ‘–π‘ π‘–π‘›π‘’π‘ π‘ , (𝑣 ∈ 𝑇 (π‘›π‘œπ‘–π‘ π‘–π‘›π‘’π‘ π‘ ), π‘ π‘‘π‘Ÿ))/0.82,
           𝑝10 = (π‘π‘Ÿπ‘–π‘π‘’, (𝑣 ∈ π‘‰π‘π‘Ÿπ‘–π‘π‘’ , N+ ))/1,
            𝑓1 = 𝑔𝑒𝑑_π‘π‘Ÿπ‘–π‘ π‘_π‘€π‘’π‘–π‘”β„Žπ‘‘()/0.93,
            𝑓2 = 𝑔𝑒𝑑_𝑓 𝑒𝑧𝑧𝑦_π‘π‘Ÿπ‘–π‘π‘’(π‘Ž, 𝑏, π‘˜)/0.87
         )/0.94,
refrigerator volume is a fuzzy quantitative property defined as a linguistic variable, which has
the following term-set
                            𝑇 (π‘Ÿ_π‘£π‘œπ‘™π‘’π‘šπ‘’) = {π‘ π‘šπ‘Žπ‘™π‘™, π‘šπ‘’π‘‘π‘–π‘’π‘š, 𝑏𝑖𝑔},
where fuzzy variables small, medium, and big are defined over the interval of integer numbers
π‘ˆ = [30, 45], which means the volume of the refrigerator in π‘π‘š3 , and have the following
interpretation:
            𝑀 (π‘ π‘šπ‘Žπ‘™π‘™) = {30/1 + 31/0.95 + 32/0.91 + 33/0.87 + 34/0.82} π‘π‘š3 ,
           𝑀 (π‘šπ‘’π‘‘π‘–π‘’π‘š) = {35/0.9 + 36/0.96 + 37/1 + 38/0.96 + 39/0.9} π‘π‘š3 ,
             𝑀 (𝑏𝑖𝑔) = {40/0.78 + 41/0.83 + 42/0.89 + 43/0.95 + 44/1} π‘π‘š3 ;
freezer volume is a fuzzy quantitative property defined as a linguistic variable, which has the
following term-set
                           𝑇 (𝑓 _π‘£π‘œπ‘™π‘’π‘šπ‘’) = {π‘ π‘šπ‘Žπ‘™π‘™, π‘šπ‘’π‘‘π‘–π‘’π‘š, 𝑏𝑖𝑔},
where fuzzy variables small, medium, and big are defined over the interval of real numbers π‘ˆ =
[5, 6.5], which means the volume of the freezer in π‘π‘š3 , and have the following interpretation:
          𝑀 (π‘ π‘šπ‘Žπ‘™π‘™) = {5.0/1 + 5.1/0.92 + 5.2/0.87 + 5.3/0.82 + 5.4/0.78} π‘π‘š3 ,
          𝑀 (π‘šπ‘’π‘‘π‘–π‘’π‘š) = {5.5/0.8 + 5.6/0.93 + 5.7/1 + 5.8/0.93 + 5.9/0.8} π‘π‘š3 ,
           𝑀 (𝑏𝑖𝑔) = {6.0/0.82 + 6.1/0.88 + 6.2/0.93 + 6.3/0.97 + 6.4/1} π‘π‘š3 ;
cee is a crisp quantitative property, which means the class of energy efficiency to which the fridge
belongs, and is defined over the set of string values 𝑉𝑐𝑒𝑒 = {𝐴+++ , 𝐴++ , 𝐴+ , 𝐴, 𝐡, 𝐢, 𝐷, 𝐹 };
aec is a crisp quantitative property, which means the annual energy consumption by the fridge
in π‘˜π‘Š β„Ž, and is defined over the following interval of integer numbers π‘‰π‘Žπ‘’π‘ = [95, 110]; sizes
is a crisp multiple-valued quantitative property, which means dimensions of the fridge in π‘π‘š,
and is defined over the intervals of integer numbers π‘‰β„Žπ‘’π‘–π‘”β„Žπ‘‘ = [45, 55], π‘‰π‘€π‘–π‘‘π‘‘β„Ž = [40, 60],
π‘‰π‘‘π‘’π‘π‘‘β„Ž = [40, 50]; compactness is a fuzzy qualitative property defined by verification function
                      𝑣𝑓6 (π»π‘œπ‘‘π‘’π‘™πΉ π‘Ÿπ‘–π‘‘π‘”π‘’) : π»π‘œπ‘‘π‘’π‘™πΉ π‘Ÿπ‘–π‘‘π‘”π‘’.𝑠𝑖𝑧𝑒𝑠 β†’ [0, 1],
where 𝑣𝑓6 (π»π‘œπ‘‘π‘’π‘™πΉ π‘Ÿπ‘–π‘‘π‘”π‘’) is defined as follows
                                                       𝑉 βˆ’ π‘‰π‘šπ‘–π‘›
                              𝑣𝑓6 (π»π‘œπ‘‘π‘’π‘™πΉ π‘Ÿπ‘–π‘‘π‘”π‘’) =                ,
                                                      π‘‰π‘šπ‘Žπ‘₯ βˆ’ π‘‰π‘šπ‘–π‘›
where

                               𝑉 = 𝑠𝑖𝑧𝑒𝑠.𝑣1 Β· 𝑠𝑖𝑧𝑒𝑠.𝑣2 Β· 𝑠𝑖𝑧𝑒𝑠.𝑣3 ,
                       π‘‰π‘šπ‘–π‘› = min(π‘‰β„Žπ‘’π‘–π‘”β„Žπ‘‘ ) Β· min(π‘‰π‘€π‘–π‘‘π‘‘β„Ž ) Β· min(π‘‰π‘‘π‘’π‘π‘‘β„Ž ),
                      π‘‰π‘šπ‘Žπ‘₯ = max(π‘‰β„Žπ‘’π‘–π‘”β„Žπ‘‘ ) Β· max(π‘‰π‘€π‘–π‘‘π‘‘β„Ž ) Β· max(π‘‰π‘‘π‘’π‘π‘‘β„Ž );

color is a crisp quantitative property, which means the color of the fridge, and is defined over
the following set of string values

           π‘‰π‘π‘œπ‘™π‘œπ‘Ÿ = {𝑏𝑒𝑖𝑔𝑒, π‘€β„Žπ‘–π‘‘π‘’, π‘”π‘Ÿπ‘Žπ‘β„Žπ‘–π‘‘π‘’, π‘”π‘œπ‘™π‘‘π‘’π‘›, π‘π‘Ÿπ‘œπ‘€π‘›, π‘Ÿπ‘’π‘‘, π‘ π‘‘π‘Žπ‘–π‘›π‘™π‘’π‘ π‘  𝑠𝑑𝑒𝑒𝑙,
      π‘ π‘–π‘™π‘£π‘’π‘Ÿ, π‘”π‘Ÿπ‘’π‘¦, π‘‘π‘–π‘‘π‘Žπ‘›π‘–π‘’π‘š, π‘π‘™π‘Žπ‘π‘˜, π‘π‘Ÿπ‘œπ‘›π‘§π‘’, 𝑏𝑙𝑒𝑒, π‘”π‘Ÿπ‘’π‘’π‘›, π‘œπ‘Ÿπ‘Žπ‘›π‘”π‘’, π‘π‘–π‘›π‘˜, π‘–π‘£π‘œπ‘Ÿπ‘¦, π‘π‘’π‘Ÿπ‘π‘™π‘’};

weight is a fuzzy quantitative property defined as a linguistic variable, which has the following
term-set
                            𝑇 (π‘€π‘’π‘–π‘”β„Žπ‘‘) = {π‘™π‘–π‘”β„Žπ‘‘π‘€π‘’π‘–π‘”β„Žπ‘‘, π‘šπ‘’π‘‘π‘–π‘’π‘š},
where fuzzy variables lightweight, and medium are defined over the interval of integer numbers
π‘ˆ = [14, 23], which means the weight of the fridge in π‘˜π‘”, and have the following interpretation:

         𝑀 (π‘™π‘–π‘”β„Žπ‘‘π‘€π‘’π‘–π‘”β„Žπ‘‘) = {14/1 + 15/0.95 + 16/0.91 + 17/0.87 + 18/0.81} π‘˜π‘”,
           𝑀 (π‘šπ‘’π‘‘π‘–π‘’π‘š) = {19/0.96 + 20/1 + 21/0.95 + 22/0.91 + 23/0.87} π‘˜π‘”;

noisiness is a fuzzy quantitative property defined as a linguistic variable, which has the following
term-set
                                𝑇 (π‘›π‘œπ‘–π‘ π‘–π‘›π‘’π‘ π‘ ) = {π‘™π‘œπ‘€, π‘šπ‘’π‘‘π‘–π‘’π‘š},
where fuzzy variables low, and medium are defined over the interval of real numbers π‘ˆ =
[35, 42], which means the noisiness of the fridge in 𝑑𝐡, and have the following meaning:

                   𝑀 (π‘™π‘œπ‘€) = {35/1 + 36/0.94 + 37/0.89 + 38/0.83} 𝑑𝐡,
                 𝑀 (π‘šπ‘’π‘‘π‘–π‘’π‘š) = {39/0.95 + 40/1 + 41/0.95 + 42/0.93} 𝑑𝐡;

price is a crisp quantitative property, which means the price of the fridge in UAH, and is defined
over the interval of integer numbers π‘‰π‘π‘Ÿπ‘–π‘π‘’ = [2800, 4700]; get_crisp_weight is a fuzzy method
that computes defuzzification representation of the fuzzy quantitative property weight and
defined in the following way:
                                            βˆ‘οΈ€|π‘€π‘’π‘–π‘”β„Žπ‘‘.𝑣|
                                                         πœ‡(π‘€π‘’π‘–π‘”β„Žπ‘‘.𝑣) Β· π‘€π‘’π‘–π‘”β„Žπ‘‘.𝑣
                   𝑔𝑒𝑑_π‘π‘Ÿπ‘–π‘ π‘_π‘€π‘’π‘–π‘”β„Žπ‘‘() = 𝑖=1βˆ‘οΈ€|π‘€π‘’π‘–π‘”β„Žπ‘‘.𝑣|                         ;
                                                    𝑖=1      πœ‡(π‘€π‘’π‘–π‘”β„Žπ‘‘.𝑣)
get_fuzzy_price is a fuzzy method that computes fuzzification representation of the crisp quan-
titative property price and defined in the following way:

               𝑔𝑒𝑑_𝑓 𝑒𝑧𝑧𝑦_π‘π‘Ÿπ‘–π‘π‘’(π‘Ž, 𝑏, π‘˜) = {π‘₯βˆ’     βˆ’                +     +
                                             𝑖 /πœ‡(π‘₯𝑖 ), π‘π‘Ÿπ‘–π‘π‘’.𝑣/1, π‘₯𝑖 /πœ‡(π‘₯𝑖 )},
where π‘Ž < π‘π‘Ÿπ‘–π‘π‘’.𝑣 < 𝑏 and π‘˜ is the incremental for the generation of π‘₯βˆ’
                                                                      𝑖 and π‘₯𝑖 , 𝑖 = 1, . . .
                                                                             +


                     π‘₯βˆ’
                      𝑖 = π‘π‘Ÿπ‘–π‘π‘’.𝑣 βˆ’ π‘˜ * 𝑖, π‘Ž < π‘π‘Ÿπ‘–π‘π‘’.𝑣 βˆ’ π‘˜ * 𝑖 < π‘π‘Ÿπ‘–π‘π‘’.𝑣,
                     π‘₯+
                      𝑖 = π‘π‘Ÿπ‘–π‘π‘’.𝑣 + π‘˜ * 𝑖, π‘π‘Ÿπ‘–π‘π‘’.𝑣 < π‘π‘Ÿπ‘–π‘π‘’.𝑣 + π‘˜ * 𝑖 < 𝑏,

and where
                  π‘₯βˆ’
                   𝑖 βˆ’π‘Ž
       πœ‡(π‘₯βˆ’
          𝑖 )=              βˆ’ π›Ώπ‘–βˆ’ , π›Ώπ‘–βˆ’ = 1 βˆ’ πœ‡(π‘₯βˆ’        βˆ’       βˆ’            βˆ’
                                                 𝑖 ) βˆ’ 𝜈(π‘₯𝑖 ), 𝜈(π‘₯𝑖 ) = 1 βˆ’ πœ‡(π‘₯𝑖 ),
                π‘π‘Ÿπ‘–π‘π‘’.𝑣 βˆ’ π‘Ž
                  𝑏 βˆ’ π‘₯+
       πœ‡(π‘₯+
          𝑖 ) =         𝑖
                            βˆ’ 𝛿𝑖+ , 𝛿𝑖+ = 1 βˆ’ πœ‡(π‘₯+        +       +            +
                                                 𝑖 ) βˆ’ 𝜈(π‘₯𝑖 ), 𝜈(π‘₯𝑖 ) = 1 βˆ’ πœ‡(π‘₯𝑖 ).
                𝑏 βˆ’ π‘π‘Ÿπ‘–π‘π‘’.𝑣
   As we can see, the fuzzy class of objects π»π‘œπ‘‘π‘’π‘™πΉ π‘Ÿπ‘–π‘‘π‘”π‘’ has a measure of its fuzziness, which
is equal to 0.94 according to Definition 1.
   Now let us compute the difference between the fuzzy homogeneous classes of objects
π»π‘œπ‘šπ‘’πΉ π‘Ÿπ‘–π‘‘π‘”π‘’ and π»π‘œπ‘‘π‘’π‘™πΉ π‘Ÿπ‘–π‘‘π‘”π‘’ and then vice versa, i.e. π»π‘œπ‘šπ‘’πΉ π‘Ÿπ‘–π‘‘π‘”π‘’ βˆ– π»π‘œπ‘‘π‘’π‘™πΉ π‘Ÿπ‘–π‘‘π‘”π‘’ and
π»π‘œπ‘‘π‘’π‘™πΉ π‘Ÿπ‘–π‘‘π‘”π‘’ βˆ– π»π‘œπ‘šπ‘’πΉ π‘Ÿπ‘–π‘‘π‘”π‘’, using Algorithm 1. Analyzing the specifications and signatures
of the fuzzy homogeneous classes of objects π»π‘œπ‘šπ‘’πΉ π‘Ÿπ‘–π‘‘π‘”π‘’ and π»π‘œπ‘‘π‘’π‘™πΉ π‘Ÿπ‘–π‘‘π‘”π‘’, we can conclude
that

                           π»π‘œπ‘šπ‘’πΉ π‘Ÿπ‘–π‘‘π‘”π‘’.𝑐𝑒𝑒 ≑ π»π‘œπ‘‘π‘’π‘™πΉ π‘Ÿπ‘–π‘‘π‘”π‘’.𝑐𝑒𝑒,
                   π»π‘œπ‘šπ‘’πΉ π‘Ÿπ‘–π‘‘π‘”π‘’.π‘π‘œπ‘šπ‘π‘Žπ‘π‘‘π‘›π‘’π‘ π‘  ≑ π»π‘œπ‘‘π‘’π‘™πΉ π‘Ÿπ‘–π‘‘π‘”π‘’.π‘π‘œπ‘šπ‘π‘Žπ‘π‘‘π‘›π‘’π‘ π‘ ,
                          π»π‘œπ‘šπ‘’πΉ π‘Ÿπ‘–π‘‘π‘”π‘’.π‘π‘œπ‘™π‘œπ‘Ÿ ≑ π»π‘œπ‘‘π‘’π‘™πΉ π‘Ÿπ‘–π‘‘π‘”π‘’.π‘π‘œπ‘™π‘œπ‘Ÿ,
         π»π‘œπ‘šπ‘’πΉ π‘Ÿπ‘–π‘‘π‘”π‘’.𝑔𝑒𝑑_π‘π‘Ÿπ‘–π‘ π‘_π‘€π‘’π‘–π‘”β„Žπ‘‘() ≑ π»π‘œπ‘‘π‘’π‘™πΉ π‘Ÿπ‘–π‘‘π‘”π‘’.𝑔𝑒𝑑_π‘π‘Ÿπ‘–π‘ π‘_π‘€π‘’π‘–π‘”β„Žπ‘‘(),
    π»π‘œπ‘šπ‘’πΉ π‘Ÿπ‘–π‘‘π‘”π‘’.𝑔𝑒𝑑_𝑓 𝑒𝑧𝑧𝑦_π‘π‘Ÿπ‘–π‘π‘’(π‘Ž, 𝑏, π‘˜) ≑ π»π‘œπ‘‘π‘’π‘™πΉ π‘Ÿπ‘–π‘‘π‘”π‘’.𝑔𝑒𝑑_𝑓 𝑒𝑧𝑧𝑦_π‘π‘Ÿπ‘–π‘π‘’(π‘Ž, 𝑏, π‘˜).

Therefore, using Algorithm 1 we have constructed two fuzzy homogeneous classes of objects,
which have the following representations:

       π»π‘œπ‘šπ‘’πΉ π‘Ÿπ‘–π‘‘π‘”π‘’ βˆ– π»π‘œπ‘‘π‘’π‘™πΉ π‘Ÿπ‘–π‘‘π‘”π‘’(
            𝑝1 = (π‘Ÿπ‘’π‘“ π‘Ÿπ‘–π‘”π‘’π‘Ÿπ‘Žπ‘‘π‘œπ‘Ÿ_π‘£π‘œπ‘™π‘’π‘šπ‘’, (𝑣 ∈ 𝑇 (π‘Ÿ_π‘£π‘œπ‘™π‘’π‘šπ‘’), π‘ π‘‘π‘Ÿ))/1,
            𝑝2 = (𝑓 π‘Ÿπ‘’π‘’π‘§π‘’π‘Ÿ_π‘£π‘œπ‘™π‘’π‘šπ‘’, (𝑣 ∈ 𝑇 (𝑓 _π‘£π‘œπ‘™π‘’π‘šπ‘’), π‘ π‘‘π‘Ÿ))/1,
            𝑝3 = (π‘Žπ‘’π‘, (𝑣 ∈ π‘‰π‘Žπ‘’π‘ , π‘˜π‘Š β„Ž))/1,
            𝑝4 = (𝑠𝑖𝑧𝑒𝑠, ((𝑣1 ∈ π‘‰β„Žπ‘’π‘–π‘”β„Žπ‘‘ , π‘π‘š), (𝑣2 ∈ π‘‰π‘€π‘–π‘‘π‘‘β„Ž , π‘π‘š), (𝑣3 ∈ π‘‰π‘‘π‘’π‘π‘‘β„Ž , π‘π‘š))/1,
            𝑝5 = (π‘€π‘’π‘–π‘”β„Žπ‘‘, (𝑣 ∈ 𝑇 (π‘€π‘’π‘–π‘”β„Žπ‘‘), π‘ π‘‘π‘Ÿ))/1,
            𝑝6 = (π‘›π‘œπ‘–π‘ π‘–π‘›π‘’π‘ π‘ , (𝑣 ∈ 𝑇 (π‘›π‘œπ‘–π‘ π‘–π‘›π‘’π‘ π‘ ), π‘ π‘‘π‘Ÿ))/0.75,
            𝑝7 = (π‘π‘Ÿπ‘–π‘π‘’, (𝑣 ∈ π‘‰π‘π‘Ÿπ‘–π‘π‘’ , N+ ))/1,
         )/0.96,


        π»π‘œπ‘‘π‘’π‘™πΉ π‘Ÿπ‘–π‘‘π‘”π‘’ βˆ– π»π‘œπ‘šπ‘’πΉ π‘Ÿπ‘–π‘‘π‘”π‘’(
            𝑝1 = (π‘Ÿπ‘’π‘“ π‘Ÿπ‘–π‘”π‘’π‘Ÿπ‘Žπ‘‘π‘œπ‘Ÿ_π‘£π‘œπ‘™π‘’π‘šπ‘’, (𝑣 ∈ 𝑇 (π‘Ÿ_π‘£π‘œπ‘™π‘’π‘šπ‘’), π‘ π‘‘π‘Ÿ))/1,
            𝑝2 = (𝑓 π‘Ÿπ‘’π‘’π‘§π‘’π‘Ÿ_π‘£π‘œπ‘™π‘’π‘šπ‘’, (𝑣 ∈ 𝑇 (𝑓 _π‘£π‘œπ‘™π‘’π‘šπ‘’), π‘ π‘‘π‘Ÿ))/0.78,
            𝑝3 = (π‘Žπ‘’π‘, (𝑣 ∈ π‘‰π‘Žπ‘’π‘ , π‘˜π‘Š β„Ž))/1,
            𝑝4 = (𝑠𝑖𝑧𝑒𝑠, ((𝑣1 ∈ π‘‰β„Žπ‘’π‘–π‘”β„Žπ‘‘ , π‘π‘š), (𝑣2 ∈ π‘‰π‘€π‘–π‘‘π‘‘β„Ž , π‘π‘š), (𝑣3 ∈ π‘‰π‘‘π‘’π‘π‘‘β„Ž , π‘π‘š))/1,
            𝑝5 = (π‘€π‘’π‘–π‘”β„Žπ‘‘, (𝑣 ∈ 𝑇 (π‘€π‘’π‘–π‘”β„Žπ‘‘), π‘ π‘‘π‘Ÿ))/1,
            𝑝6 = (π‘›π‘œπ‘–π‘ π‘–π‘›π‘’π‘ π‘ , (𝑣 ∈ 𝑇 (π‘›π‘œπ‘–π‘ π‘–π‘›π‘’π‘ π‘ ), π‘ π‘‘π‘Ÿ))/0.82,
            𝑝7 = (π‘π‘Ÿπ‘–π‘π‘’, (𝑣 ∈ π‘‰π‘π‘Ÿπ‘–π‘π‘’ , N+ ))/1,
         )/0.94,

Created classes represent unique parts of fuzzy homogeneous classes of objects π»π‘œπ‘šπ‘’πΉ π‘Ÿπ‘–π‘‘π‘”π‘’
and π»π‘œπ‘‘π‘’π‘™πΉ π‘Ÿπ‘–π‘‘π‘”π‘’. Class π»π‘œπ‘šπ‘’πΉ π‘Ÿπ‘–π‘‘π‘”π‘’ βˆ– π»π‘œπ‘‘π‘’π‘™πΉ π‘Ÿπ‘–π‘‘π‘”π‘’ has a measure of fuzziness, which is
equal to 0.96 according to Definition 1, and defines the fuzzy type π‘‘β„Žπ‘“ 1βˆ–β„Žπ‘“ 2 βŠ† π‘‘β„Žπ‘“ 1 , which
consists of properties and methods which are typical only for the fuzzy homogeneous class of
objects π»π‘œπ‘šπ‘’πΉ π‘Ÿπ‘–π‘‘π‘”π‘’/0.96. Class π»π‘œπ‘‘π‘’π‘™πΉ π‘Ÿπ‘–π‘‘π‘”π‘’ βˆ– π»π‘œπ‘šπ‘’πΉ π‘Ÿπ‘–π‘‘π‘”π‘’ has a measure of fuzziness,
which is equal to 0.94 according to Definition 1, and defines the fuzzy type π‘‘β„Žπ‘“ 2βˆ–β„Žπ‘“ 1 βŠ† π‘‘β„Žπ‘“ 2 ,
which consists of properties and methods which are typical only for the fuzzy homogeneous
class of objects π»π‘œπ‘‘π‘’π‘™πΉ π‘Ÿπ‘–π‘‘π‘”π‘’/0.94.
   As the result, Algorithm 1 provides an opportunity to verify the difference of one fuzzy
homogeneous class of objects from another one, as well as to compute it in the form of a new
fuzzy homogeneous class of objects if such difference exists. Fuzzy homogeneous classes of
objects, which are dynamically created by the algorithm, allow a KBS to estimate both the
similarity and the difference between extracted or acquired new knowledge items and those
ones, which already integrated within the knowledge base since the difference and similarity
are inverse concepts. Results of such analysis can be used for the efficient integration of new
knowledge into the knowledge base.


5. Conclusions
To perform the integration of new knowledge into the knowledge base efficiently, a KBS should
be able to analyze and to compare extracted or acquired new knowledge items with those
ones, which were integrated previously. A system should verify the difference and similarity
between new knowledge items and previously obtained ones to perform the recognition stage
of the knowledge integration process. For this purpose, we defined the concept of the universal
difference exploiter for fuzzy homogeneous classes of objects and developed a corresponding
algorithm for its implementation. The developed algorithm provides an opportunity to verify
as well as to compute the difference and the similarity between extracted or acquired new
knowledge items and previously obtained ones, in terms of fuzzy homogeneous classes of objects,
within such knowledge representation model as fuzzy object-oriented dynamic networks.
   Similar to other universal exploiters, difference exploiter can be adapted to compute the
difference of fuzzy inhomogeneous classes of objects as well as for the difference of fuzzy
homogeneous and inhomogeneous classes of objects. However, such extensions require the
development of the appropriate algorithms for their implementation.
References
 [1] R. Bareiss, B. W. Porter, K. S. Murray, Supporting Start-to-Finish Development of Knowl-
     edge Bases, Mach. Learn. 4 (1989) 259–283. doi:10.1007/BF00130714.
 [2] K. S. Murray, B. W. Porter, Controlling Search for the Consequences of New Information
     during Knowledge Integration, in: Proceedings of the 6th International Workshop on
     Machine Learning, New York, USA, 1989, pp. 290–295.
 [3] K. S. Murray, B. W. Porter, Developing a tool for knowledge integration: initial results, Int.
     J. Man-Machine Studies 33 (1990) 373–383.
 [4] K. S. Murray, Learning as Knowledge Integration, Ph.D. thesis, Faculty of the Graduate
     School, University of Texas at Austin, Austin, Texas, USA, 1995.
 [5] K. S. Murray, KI: A Tool for Knowledge Integration, in: Proceedings of the 13th National
     Conference on Artificial Intelligence, AAAI 1996, Portland, Oregon, USA, 1996, pp. 835–842.
 [6] T. D. Ndousse, Intelligent Systems Modeling with Reusable Fuzzy Objects, Int. J. Intell. Syst.
     12 (1997) 137–152. doi:10.1002/(SICI)1098-111X(199702)12:2<137::AID-INT2>
     3.0.CO;2-R.
 [7] G. Bordogna, G. Pasi, D. Lucarella, A Fuzzy Object-Oriented Data Model for Managing
     Vague and Uncertain Information, Int. J. Intell. Syst. 14 (1999) 623–651. doi:10.1002/
     (SICI)1098-111X(199907)14:7<623::AID-INT1>3.0.CO;2-G.
 [8] L. A. Zadeh, Fuzzy sets, Inform. Control 8 (1965) 338–353. doi:10.1016/S0019-9958(65)
     90241-X.
 [9] L. A. Zadeh, The concept of a linguistic variable and its application to approximate
     reasoning – I, Inform. Sci. 8 (1975) 199–249. doi:10.1016/0020-0255(75)90036-5.
[10] L. A. Zadeh, The concept of a linguistic variable and its application to approximate
     reasoning – II, Inform. Sci. 8 (1975) 301–357. doi:10.1016/0020-0255(75)90046-8.
[11] L. A. Zadeh, The concept of a linguistic variable and its application to approximate
     reasoning – III, Inform. Sci. 9 (1975) 43–80. doi:10.1016/0020-0255(75)90017-1.
[12] N. MarΓ­n, O. Pons, M. A. Vila, Fuzzy Types: A New Concept of Type for Managing Vague
     Structures, Int. J. Intell. Syst. 15 (2000) 1061–1085. doi:10.1002/1098-111X(200011)15:
     11<1061::AID-INT5>3.0.CO;2-A.
[13] N. MarΓ­n, O. Pons, M. A. Vila, A Strategy for Adding Fuzzy Types to an Object-Oriented
     Database System, Int. J. Intell. Syst. 16 (2001) 863–880. doi:10.1002/int.1039.
[14] F. Berzal, N. MarΓ­n, O. Pons, M. A. Vila, Managing Fuzziness on Conventional Object-
     Oriented Platforms, Int. J. Intell. Syst. 22 (2007) 781–803. doi:10.1002/int.20228.
[15] F. Berzal, N. MarΓ­n, O. Pons, M. A. Vila, Using Classical Object-Oriented Features to Build
     a Fuzzy O-O Database System, in: J. Lee (Ed.), Software Engineering with Computational
     Intelligence, volume 121 of Studies in Fuzziness and Soft Computing, Springer, 2003, pp.
     131–155. doi:10.1007/978-3-540-36423-8_6.
[16] A. Zvieli, P. P. Chen, Entity – Relationship modeling and fuzzy databases, in: Proc. IEEE
     2nd Int. Conf. Data Eng., Los Angeles, CA, USA, 1986, pp. 320–327. doi:10.1109/ICDE.
     1986.7266236.
[17] Z. M. Ma, W. J. Zhang, W. Y. Ma, Extending object-oriented databases for fuzzy informa-
     tion modeling, Information Systems 29 (2004) 421–435. doi:10.1016/S0306-4379(03)
     00038-3.
[18] Z. M. Ma, L. Yan, F. Zhang, Modeling fuzzy information in UML class diagrams and
     object-oriented database models, Fuzzy Sets Syst. 186 (2012) 26–46. doi:10.1016/j.fss.
     2011.06.015.
[19] L. Yan, Z. Ma, F. Zhang, Fuzzy XML Data Management, volume 311 of Studies in Fuzziness
     and Soft Computing, Springer, Berlin, 2014. doi:10.1007/978-3-642-44899-7.
[20] Z. Ma, F. Zhang, L. Yan, J. Cheng, Fuzzy Knowledge Management for the Semantic Web,
     volume 306 of Studies in Fuzziness and Soft Computing, Springer, Berlin, 2014. doi:10.
     1007/978-3-642-39283-2.
[21] D. O. Terletskyi, Run-Time Class Generation: Algorithms for Decomposition of Homoge-
     neous Classes, in: A. Lopata, R. Butkieṅe, D. Gudonieṅe, V. Sukack̇e (Eds.), Information
     and Software Technologies. ICIST 2020, volume 1283 of CCIS, Springer, 2020, pp. 243–254.
     doi:10.1007/978-3-030-59506-7_20.
[22] D. A. Terletskyi, A. I. Provotar, Fuzzy Object-Oriented Dynamic Networks. I, Cybern. Syst.
     Anal. 51 (2015) 34–40. doi:10.1007/s10559-015-9694-0.
[23] D. A. Terletskyi, A. I. Provotar, Fuzzy Object-Oriented Dynamic Networks. II, Cybern.
     Syst. Anal. 52 (2016) 38–45. doi:10.1007/s10559-016-9797-2.
[24] D. O. Terletskyi, O. I. Provotar, Algorithm for Intersection of Fuzzy Homogeneous Classes
     of Objects, in: Proc. IEEE 2020 15th Int. Sci. Tech. Conf. Comput. Sci. Inform. Technol.
     (CSIT), volume 2, Zbarazh, Ukraine, 2020, pp. 314–317. doi:10.1109/CSIT49958.2020.
     9321914.
[25] D. O. Terletskyi, O. I. Provotar, Intersection of Fuzzy Homogeneous Classes of Ob-
     jects, in: N. Shakhovska, M. O. Medykovskyy (Eds.), Advances in Intelligent Systems
     and Computing V, volume 1293 of AISC, Springer, 2020, pp. 306–323. doi:10.1007/
     978-3-030-63270-0_21.
[26] P. K. Panigrahi, A. Goswami, Algebra for Fuzzy Object Oriented Database Language, Int.
     J. Comput. Appl. 26 (2004) 1–9. doi:10.1080/1206212X.2004.11441721.
[27] L. Yan, Z. M. Ma, Operations in Fuzzy Object-Oriented Databases, in: Proc. 2009 Int.
     Conf. Comput. Intell. Softw. Eng., Wuhan, China, 2009, pp. 1–4. doi:10.1109/CISE.2009.
     5364610.
[28] L. Yan, Z. M. Ma, F. Zhang, Algebraic operations in fuzzy object-oriented databases, Inf.
     Syst. Front. 16 (2014) 543–556. doi:10.1007/s10796-012-9359-8.
[29] Z. M. Ma, F. Mili, Handling Fuzzy Information in Extended Possibility-Based Fuzzy
     Relational Databases, Int. J. Intell. Syst. 17 (2002) 925–942. doi:10.1002/int.10057.
[30] T. T. Nguyen, B. V. Doan, C. N. Truong, T. T. T. Tran, A New Approach for Query
     Processing and Optimization in Fuzzy Object-Oriented Database, in: V. Bhateja, B. L.
     Nguyen, N. G. Nguyen, S. C. Satapathy, D.-N. Le (Eds.), Information Systems Design and
     Intelligent Applications, volume 672 of AISC, Springer, 2018, pp. 49–63. doi:10.1007/
     978-981-10-7512-4_6.
[31] O. Pivert, H. Prade, A Certainty-Based Model for Uncertain Databases, IEEE Trans. Fuzzy
     Syst. 23 (2015) 1181–1196. doi:10.1109/TFUZZ.2014.2347994.
[32] D. V. Thang, Algebraic Operations in Fuzzy Object-Oriented Databases Based on Hedge
     Algebras, in: V. E. Cong Vinh P., Ha Huy Cuong N. (Ed.), Context-Aware Systems and
     Applications, and Nature of Computation and Communication. ICTCC 2017, ICCASA 2017,
     volume 217 of LNICST, Springer, 2018, pp. 124–134. doi:10.1007/978-3-319-77818-1_
     12.
[33] Z. M. Ma, J. Liu, L. Yan, Fuzzy Data Modeling and Algebraic Operations in XML, Int. J.
     Intell. Syst. 25 (2010) 925–947. doi:10.1002/int.20424.
[34] L. Bai, L. Zhu, An Algebra for Fuzzy Spatiotemporal Data in XML, IEEE Access 7 (2019)
     22914–22926. doi:10.1109/ACCESS.2019.2898228.
[35] L. Bai, X. Cao, W. Jia, Uncertain spatiotemporal data modeling and algebraic operations
     based on XML, Earth. Sci. Inform. 11 (2018) 109–127. doi:10.1007/s12145-017-0322-6.
[36] L. Zhang, J. Sun, S. Su, Q. Liu, J. Liu, Uncertainty Modeling of Object-Oriented Biomedical
     Information in HBase, IEEE Access 8 (2020) 51219–51229. doi:10.1109/ACCESS.2020.
     2980553.