Geodesic
Definability of Sentences in the Language of Boolean Algebras with Distinguished Ideals
Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 8 (2008) no. 2, pp. 91-104

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

Paper is devoted to model-theoretical methods of ontology formalization and knowledge representation. Questions, what methods of knowledge representation can be applied in all possible situations, and what methods can be used only in certain special cases, are investigated. It is shown that any information can be represented in the form of semantic network of first order predicate logic sentences. On the other hand, not each set of definitions of concepts can be represented by means of an explicit glossary; moreover concept definitions not always can be represented by a glossary defining concepts one by one. To prove these results we investigate model-theoretical properties of Boolean algebras with distinguished ideals. 
@article{VNGU_2008_8_2_a8,
     author = {D. E. Palchunov},
     title = {Definability of {Sentences} in the {Language} of {Boolean} {Algebras} with {Distinguished} {Ideals}},
     journal = {Sibirskij \v{z}urnal \v{c}istoj i prikladnoj matematiki},
     pages = {91--104},
     publisher = {mathdoc},
     volume = {8},
     number = {2},
     year = {2008},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VNGU_2008_8_2_a8/}
}
TY  - JOUR
AU  - D. E. Palchunov
TI  - Definability of Sentences in the Language of Boolean Algebras with Distinguished Ideals
JO  - Sibirskij žurnal čistoj i prikladnoj matematiki
PY  - 2008
SP  - 91
EP  - 104
VL  - 8
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VNGU_2008_8_2_a8/
LA  - ru
ID  - VNGU_2008_8_2_a8
ER  - 
%0 Journal Article
%A D. E. Palchunov
%T Definability of Sentences in the Language of Boolean Algebras with Distinguished Ideals
%J Sibirskij žurnal čistoj i prikladnoj matematiki
%D 2008
%P 91-104
%V 8
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VNGU_2008_8_2_a8/
%G ru
%F VNGU_2008_8_2_a8
D. E. Palchunov. Definability of Sentences in the Language of Boolean Algebras with Distinguished Ideals. Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 8 (2008) no. 2, pp. 91-104. http://geodesic.mathdoc.fr/item/VNGU_2008_8_2_a8/