Geodesic
Logic Architectures and the Object Oriented Approach
Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 9 (2009) no. 3, pp. 64-85 
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/
@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},
     year = {2009},
     volume = {9},
     number = {3},
     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
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
%U http://geodesic.mathdoc.fr/item/VNGU_2009_9_3_a4/
%G ru
%F VNGU_2009_9_3_a4

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.

[1] The Semantic Web http://www.w3.org/2001/sw/

[2] Web Ontology Language (OWL) http://www.w3.org/2004/OWL

[3] Horrocks I., Patel-Schneider P. F., “Reducing OWL Entailment to Description Logic Satisfiability”, Proc. of the 2003 Int. Semantic Web Conference, ISWC 2003, Lecture Notes in Computer Science, 2870, eds. D. Fensel, K. Sycara, J. Mylopoulos, Springer, 17–29 | DOI

[4] Goncharov S., Ershov Yu., Sviridenko D., “Semantic Programming”, 10$^\text{th}$ World Congress Information Processing'86 (Dublin, 1986), 1093–1100 | MR

[5] F. Baader, D. Calvanese, D. L. McGuinness et al. (eds.), The Description Logic Handbook: Theory, Implementation, Applications, Cambridge University Press, 2003 | MR | Zbl

[6] Borgida A., Patel-Schneider P. F., “A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic”, J. of Artificial Intelligence Research, 1994, no. 1, June, 277–308 | Zbl

[7] Cardelli L., “A Semantics of Multiple Inheritance”, Information and Computation, 76:2–3, February/March (1988), 138–164 | DOI | MR | Zbl

[8] Cook W., Palsberg J., “A Denotational Semantics of Inheritance and Its Correctness”, ACM SIGPLAN Notices, 24:10 (1989), 433–443 | DOI

[9] Hense A. V., “Denotational Semantics of an Object-Oriented Programming Language with Explicit Wrappers”, Information and Computation, 5:3, May (1993), 181–207 | Zbl

[10] Scott D., “Data Types as Lattices”, SIAM Journal on Computing, 5:3 (1976), 522–586 | DOI | MR

[11] The NCBI Entrez Taxonomy http://www.ncbi.nlm.nih.gov/sites/entrez?db=taxonomy

[12] Malykh A., Mantsivoda A., “A Query Language for Logic Architectures”, Proc. of Int. Conf. on Perspectives of System Informatics'09 (Novosibirsk, 2009), 212–220 http://meta2project.org/ru/psi09.pdf

[13] Hibernate: Mapping an Object-Oriented Domain Model to a Relational Database https://www.hibernate.org/

[14] ADO.NET Entity Framework http://www.microsoft.com/sqlserver/2008/en/us/ado-net-entity.aspx