Creation of Ontological Knowledge Bases in the Semantic Web …
217
To solve the problem of forming an OKB, using the principle of inheriting
object hierarchies, we define for all ODR objects the following attached procedures
necessary to find the most relevant object request and add ODR objects to the OKB:
1. The procedure for checking the inconsistency of the request ω ap ;
2. The procedure for forming OKB ω form ;
3. The procedure for the targeted search for the most relevant ODR object query
in OKB ω fop ;
4. Procedure for verifying the existence of a more relevant ODR object request
ω def ;
5. The procedure for processing the most relevant ODR object request ω compare ;
6. The procedure for the formation of sets of matching properties of objects ω M ;
7. The procedure for the formation of sets of matching properties-values ω R ;
8. The procedure for determining the powers of sets of matching properties ω L ;
9. The procedure for determining the serial number of the most relevant object
request ω max ;
10. The procedure for adding an object—a superclass ω
+
A ;
11. The procedure for adding an object—a subclass ω
+
B ;
12. The procedure for adding new properties-objects ω
+
f ;
13. The procedure for adding new value properties ω
+
d .
Thus, the functionality of each OKB object will be represented by a variety of
attached procedures of the following form:
= {ω ap , ω form , ω fop , ω def , ω compare , ω M , ω R , ω L ,
ω max , ω
+
A , ω
+
B , ω
+
f , ω
+
d , }.
(11)
When adding new ODR objects to OKB, each ODR object is automatically
endowed with the functionality presented above by expression (11), which allows
you to create an active OKB formation mechanism that allows you to establish a
correspondence between the structural and logical circuits of request objects and
OKB with the possibility of additively organizing the hierarchy of OKB objects in
accordance with relations R represented by the expression (5).
Let be Q—structural-logical diagram of a request to enter ODR objects in OKB,
on the basis of which an ontological knowledge base is formed.
The request to enter ODR objects in OKB is formally presented in the form of
consistent sets of property-values, object-properties and a possible symbolic name
of the ODR object corresponding to some SKTS:
Q =< S, D, F > .
(12)
where: S—the symbolic name of the ODR object; D—many properties-values of
the ODR object; F—a lot of properties-objects of the ODR object, where F =
{< f 1 , a
1 >, . . . , < f λ , a
λ >} j , where λ—the number of properties-objects of the
217
To solve the problem of forming an OKB, using the principle of inheriting
object hierarchies, we define for all ODR objects the following attached procedures
necessary to find the most relevant object request and add ODR objects to the OKB:
1. The procedure for checking the inconsistency of the request ω ap ;
2. The procedure for forming OKB ω form ;
3. The procedure for the targeted search for the most relevant ODR object query
in OKB ω fop ;
4. Procedure for verifying the existence of a more relevant ODR object request
ω def ;
5. The procedure for processing the most relevant ODR object request ω compare ;
6. The procedure for the formation of sets of matching properties of objects ω M ;
7. The procedure for the formation of sets of matching properties-values ω R ;
8. The procedure for determining the powers of sets of matching properties ω L ;
9. The procedure for determining the serial number of the most relevant object
request ω max ;
10. The procedure for adding an object—a superclass ω
+
A ;
11. The procedure for adding an object—a subclass ω
+
B ;
12. The procedure for adding new properties-objects ω
+
f ;
13. The procedure for adding new value properties ω
+
d .
Thus, the functionality of each OKB object will be represented by a variety of
attached procedures of the following form:
= {ω ap , ω form , ω fop , ω def , ω compare , ω M , ω R , ω L ,
ω max , ω
+
A , ω
+
B , ω
+
f , ω
+
d , }.
(11)
When adding new ODR objects to OKB, each ODR object is automatically
endowed with the functionality presented above by expression (11), which allows
you to create an active OKB formation mechanism that allows you to establish a
correspondence between the structural and logical circuits of request objects and
OKB with the possibility of additively organizing the hierarchy of OKB objects in
accordance with relations R represented by the expression (5).
Let be Q—structural-logical diagram of a request to enter ODR objects in OKB,
on the basis of which an ontological knowledge base is formed.
The request to enter ODR objects in OKB is formally presented in the form of
consistent sets of property-values, object-properties and a possible symbolic name
of the ODR object corresponding to some SKTS:
Q =< S, D, F > .
(12)
where: S—the symbolic name of the ODR object; D—many properties-values of
the ODR object; F—a lot of properties-objects of the ODR object, where F =
{< f 1 , a
1 >, . . . , < f λ , a
λ >} j , where λ—the number of properties-objects of the