220
V. Babenko et al.
not provide header information for other cells, i.e. the attributes lp, sc of the
structural logic diagram of this cell will be declared equal ∅. Formally, we define
a data cell as a cell of the following structure:
CL
TD
=< ac, bc, cr, dc, ec, fc, ∅, ∅, isa >
(19)
2. A header cell is a cell whose contents are header information describing the values
of other cells. The header cells contain the symbolic names of the properties or
ODR objects. Formally, the header cell is defined as a cell of the following
structure:
CL
TH
=< ac, bc, cr, dc, ec, ∅, lp, sc, isa >
(20)
Moreover, the sc attribute defining a set of data cells for which the header cell
provides header information must take one of the following values:
row—the cell provides header information for the rest of the row of the table
containing it.
col—the cell provides header information for the rest of the column containing it.
In view of the foregoing, the formal model of SKTS, focused on the presentation
of arbitrary tabular structures, has the means of describing the object characteristics
of the contents of SKTS cells and can be defined by formulas (13–20).
Based on the model presented above, we will carry out the development of formal
criteria for belonging to the types of table structures to specify the classes of table
structures analyzed in the work and take into account the specific features of data
organization specific to these classes.
6 The Method of Analysis of the Sources of Knowledge
of Table Structures Based on Targeted Enumeration
In the context of solving the problem of forming an OKB, the SKTS analysis takes
on the following meaning—the structure of the SKTS is examined with the aim of
creating a “processing-oriented” view—the structural logical diagram of this source
and a request for entering ODR objects in the OKB, instances of which make up the
contents of this SKTS. Within the framework of such an approach to the analysis of
the sources of knowledge of a table structure, it is understood that a set of actions is
taken to create structural logical schemes for the header and SKTS data set; mapping
between header and dataset cells; as well as the formation of a structural-logical
diagram of a request to enter ODR objects in OKB.
To reduce the algorithmic complexity of the proposed method, we will conduct
SKTS analysis based on targeted enumeration of SKTS cells by setting user-defined
criteria for the analysis of SKTS structural logic circuits.
V. Babenko et al.
not provide header information for other cells, i.e. the attributes lp, sc of the
structural logic diagram of this cell will be declared equal ∅. Formally, we define
a data cell as a cell of the following structure:
CL
TD
=< ac, bc, cr, dc, ec, fc, ∅, ∅, isa >
(19)
2. A header cell is a cell whose contents are header information describing the values
of other cells. The header cells contain the symbolic names of the properties or
ODR objects. Formally, the header cell is defined as a cell of the following
structure:
CL
TH
=< ac, bc, cr, dc, ec, ∅, lp, sc, isa >
(20)
Moreover, the sc attribute defining a set of data cells for which the header cell
provides header information must take one of the following values:
row—the cell provides header information for the rest of the row of the table
containing it.
col—the cell provides header information for the rest of the column containing it.
In view of the foregoing, the formal model of SKTS, focused on the presentation
of arbitrary tabular structures, has the means of describing the object characteristics
of the contents of SKTS cells and can be defined by formulas (13–20).
Based on the model presented above, we will carry out the development of formal
criteria for belonging to the types of table structures to specify the classes of table
structures analyzed in the work and take into account the specific features of data
organization specific to these classes.
6 The Method of Analysis of the Sources of Knowledge
of Table Structures Based on Targeted Enumeration
In the context of solving the problem of forming an OKB, the SKTS analysis takes
on the following meaning—the structure of the SKTS is examined with the aim of
creating a “processing-oriented” view—the structural logical diagram of this source
and a request for entering ODR objects in the OKB, instances of which make up the
contents of this SKTS. Within the framework of such an approach to the analysis of
the sources of knowledge of a table structure, it is understood that a set of actions is
taken to create structural logical schemes for the header and SKTS data set; mapping
between header and dataset cells; as well as the formation of a structural-logical
diagram of a request to enter ODR objects in OKB.
To reduce the algorithmic complexity of the proposed method, we will conduct
SKTS analysis based on targeted enumeration of SKTS cells by setting user-defined
criteria for the analysis of SKTS structural logic circuits.