Geodesic
A formalization of the Codd algebra operations in logic $\mathcal{SHOIN}(D)$
The Bulletin of Irkutsk State University. Series Mathematics, Tome 4 (2011) no. 3, pp. 68-73

Voir la notice de l'article provenant de la source Math-Net.Ru

In this paper the problem of the interpretation of data bases as ontologies is investigated, in particular, a modeling of the Codd algebra operations via object theories. The problem of modeling the DB's closed world within the open world of description logics is solved. It is shown that within object theories the Codd's algebra can be defined. The results of the paper are also practically significant, because they offer a homogeneous and coherent method for manipulations with data bases as ontologies in logical knowledge bases.
Keywords: ontology; database; object theory; description logic
Mots-clés : Libretto. 
@article{IIGUM_2011_4_3_a5,
     author = {I. A. Kazakov},
     title = {A formalization of the {Codd} algebra operations in logic $\mathcal{SHOIN}(D)$},
     journal = {The Bulletin of Irkutsk State University. Series Mathematics},
     pages = {68--73},
     publisher = {mathdoc},
     volume = {4},
     number = {3},
     year = {2011},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/IIGUM_2011_4_3_a5/}
}
TY  - JOUR
AU  - I. A. Kazakov
TI  - A formalization of the Codd algebra operations in logic $\mathcal{SHOIN}(D)$
JO  - The Bulletin of Irkutsk State University. Series Mathematics
PY  - 2011
SP  - 68
EP  - 73
VL  - 4
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IIGUM_2011_4_3_a5/
LA  - ru
ID  - IIGUM_2011_4_3_a5
ER  - 
%0 Journal Article
%A I. A. Kazakov
%T A formalization of the Codd algebra operations in logic $\mathcal{SHOIN}(D)$
%J The Bulletin of Irkutsk State University. Series Mathematics
%D 2011
%P 68-73
%V 4
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IIGUM_2011_4_3_a5/
%G ru
%F IIGUM_2011_4_3_a5
I. A. Kazakov. A formalization of the Codd algebra operations in logic $\mathcal{SHOIN}(D)$. The Bulletin of Irkutsk State University. Series Mathematics, Tome 4 (2011) no. 3, pp. 68-73. http://geodesic.mathdoc.fr/item/IIGUM_2011_4_3_a5/