224
V. Babenko et al.
ct
+
o = zt
+
o .
(25)
The UECC operation of adding property-values (ct
+
d ), intended to enter new
property-values in OKB, is equal to the time (zt
+
d ) on checking for uniqueness and
entering property-values in OKB:
ct
+
d = d
mn
× zt
+
d .
(26)
The UECC operation of adding property-objects (ct
+
f ), intended to enter new
property-objects in OKB, is equal to time (zt
+
f ) on checking for uniqueness and
entering property-objects in OKB:
ct
+
f = f
mn
· zt
+
f .
(27)
The UECC of the operation of entering instance objects (ct
+
i ), intended to enter
instances of the request object in OKB, is equal to the product of the time spent on
adding one instance object and the total number of instance objects added to OKB
(i
mn
):
ct
+
i = i
mn
× zt
+
i .
(28)
Considering the above, we present UECC of forming OKB (T max ) as the time
spent on processing r ODR objects from which OKB is formed. Moreover, during
the processing of each of the r ODR objects, it is necessary to carry out a targeted
search of the ODR objects already entered into the OKB by selecting at each level of
the object hierarchy from u
mn —subclass objects the most relevant object and search,
if possible and necessary, more relevant or exactly matching the request OKB object
in (ν
mn
− τ)—levels of the object hierarchy of OKB objects, where is the number of
the current level of the object hierarchy.
Mathematically T max determined by the following expression:
T max (r) =
r
m=1
u
mn
ν
mn
(ct
cp
s + ct
cp
d + ct
cp
f ) + ct
+
o + ct
+
d + ct
+
f + ct
+
i .
(29)
where ct
cp
s , ct
cp
d , ct
cp
f , ct
+
s , ct
+
p , ct
+
d , ct
+
f , ct
+
i —UECC operations for comparing
symbolic names of ODR objects, comparing property values, comparing object properties, adding a superclass object, adding a subclass object, adding a value property,
adding an object property, adding objects- copies respectively.
Thus, the formation time of an OKB T from r ODR objects is limited from above
by the value of the function T max :
T(r) ≤ T max (r).
(30)