Logic Architectures and the Object Oriented Approach
Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 9 (2009) no. 3, pp. 64-85

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

Description logics have strong potential to enhance data and knowledge management on the World Wide Web. The Semantic Web has converted this potential into a harmonious approach. But some obstacles make its influence on common practice quite limited. In particular, logic is too heavy for solving the majority of 'everyday' web development tasks, and too complicated for conventional developers. In this paper we introduce some formal methods based on the idea of logic architectures, which are aimed at solving this problem.
@article{VNGU_2009_9_3_a4,
     author = {A. A. Malykh and A. V. Mantsivoda and V. S. Ulianov},
     title = {Logic {Architectures} and the {Object} {Oriented} {Approach}},
     journal = {Sibirskij \v{z}urnal \v{c}istoj i prikladnoj matematiki},
     pages = {64--85},
     publisher = {mathdoc},
     volume = {9},
     number = {3},
     year = {2009},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VNGU_2009_9_3_a4/}
}
TY  - JOUR
AU  - A. A. Malykh
AU  - A. V. Mantsivoda
AU  - V. S. Ulianov
TI  - Logic Architectures and the Object Oriented Approach
JO  - Sibirskij žurnal čistoj i prikladnoj matematiki
PY  - 2009
SP  - 64
EP  - 85
VL  - 9
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VNGU_2009_9_3_a4/
LA  - ru
ID  - VNGU_2009_9_3_a4
ER  - 
%0 Journal Article
%A A. A. Malykh
%A A. V. Mantsivoda
%A V. S. Ulianov
%T Logic Architectures and the Object Oriented Approach
%J Sibirskij žurnal čistoj i prikladnoj matematiki
%D 2009
%P 64-85
%V 9
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VNGU_2009_9_3_a4/
%G ru
%F VNGU_2009_9_3_a4
A. A. Malykh; A. V. Mantsivoda; V. S. Ulianov. Logic Architectures and the Object Oriented Approach. Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 9 (2009) no. 3, pp. 64-85. http://geodesic.mathdoc.fr/item/VNGU_2009_9_3_a4/