Creation of Ontological Knowledge Bases in the Semantic Web …
223
7 Experimental Studies of the Effectiveness of the Method
of Targeted Enumeration in the Formation of OKB
The upper estimate of the computational complexity (UECC) of the algorithmic
support of the OKB formation method based on targeted enumeration from ODR
objects obtained on the basis of the SKTS analysis by the proposed method and their
instances obtained on the basis of the analysis of the SKTS data set will be calculated
on the basis of the time cost criterion.
Let be n
q —the number of requests for input of ODR objects from which OKB will
be formed; d
mn —the maximum number of value properties in ODR objects; f
mn —the
maximum number of object properties in ODR objects; t
mn —the maximum number
of nesting of property-objects in the structural-logical circuits of ODR objects; u
mn —
the maximum number of subclass objects in ODR class objects; ν
mn —the maximum
number of levels of the object hierarchy in relation to “be a subclass”; i
mn —the
maximum number of instance objects in ODR class objects, then the total number
of class objects added to the generated OKB can be defined as r = n
q
· t
mn
· f
mn .
To form the OKB, we will use the following elementary operations: comparing the
symbolic names of ODR objects; comparing property values; comparing properties
of objects; adding an object; Add value properties adding object properties; adding
instance objects.
For each of these operations, we determine the value of their UECC.
So, the UECC operation of symbolic comparison of ODR (ct
cp
s ) object names,
used when moving through the tree hierarchy of ODR objects when searching for
the most relevant OKB object query, will be equal to the time spent on comparing
two symbolic names (zt
cp
s ):
ct
cp
s = zt
cp
s
(22)
The UECC of the property-value comparison (ct
cp
d ) operation used to compare
the value-property of the request objects and OKB will be equal to the time (zt
cp
d )
for comparing the value-property of the request objects and OKB:
ct
cp
d = d
mn
· zt
cp
d
(23)
The UECC operation of comparing the properties of objects-objects (ct
cp
f ), used
to compare the properties of objects of request objects and OKB, will be equal to the
time spent (zt
cp
f ) on comparing the properties-values of request objects and OKB:
ct
cp
f = f
mn
× zt
cp
f .
(24)
UECC operations of adding an object (ct
+
o ) is used after finding the most relevant
OKB object request for entering the object in OKB and equals the time spent on
performing this operation (zt
+
o ):
223
7 Experimental Studies of the Effectiveness of the Method
of Targeted Enumeration in the Formation of OKB
The upper estimate of the computational complexity (UECC) of the algorithmic
support of the OKB formation method based on targeted enumeration from ODR
objects obtained on the basis of the SKTS analysis by the proposed method and their
instances obtained on the basis of the analysis of the SKTS data set will be calculated
on the basis of the time cost criterion.
Let be n
q —the number of requests for input of ODR objects from which OKB will
be formed; d
mn —the maximum number of value properties in ODR objects; f
mn —the
maximum number of object properties in ODR objects; t
mn —the maximum number
of nesting of property-objects in the structural-logical circuits of ODR objects; u
mn —
the maximum number of subclass objects in ODR class objects; ν
mn —the maximum
number of levels of the object hierarchy in relation to “be a subclass”; i
mn —the
maximum number of instance objects in ODR class objects, then the total number
of class objects added to the generated OKB can be defined as r = n
q
· t
mn
· f
mn .
To form the OKB, we will use the following elementary operations: comparing the
symbolic names of ODR objects; comparing property values; comparing properties
of objects; adding an object; Add value properties adding object properties; adding
instance objects.
For each of these operations, we determine the value of their UECC.
So, the UECC operation of symbolic comparison of ODR (ct
cp
s ) object names,
used when moving through the tree hierarchy of ODR objects when searching for
the most relevant OKB object query, will be equal to the time spent on comparing
two symbolic names (zt
cp
s ):
ct
cp
s = zt
cp
s
(22)
The UECC of the property-value comparison (ct
cp
d ) operation used to compare
the value-property of the request objects and OKB will be equal to the time (zt
cp
d )
for comparing the value-property of the request objects and OKB:
ct
cp
d = d
mn
· zt
cp
d
(23)
The UECC operation of comparing the properties of objects-objects (ct
cp
f ), used
to compare the properties of objects of request objects and OKB, will be equal to the
time spent (zt
cp
f ) on comparing the properties-values of request objects and OKB:
ct
cp
f = f
mn
× zt
cp
f .
(24)
UECC operations of adding an object (ct
+
o ) is used after finding the most relevant
OKB object request for entering the object in OKB and equals the time spent on
performing this operation (zt
+
o ):