Geodesic
Онтологии, метаданные и семантическое программирование
Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 7 (2007) no. 2, pp. 29-51 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

@article{VNGU_2007_7_2_a2,
     author = {A. A. Malykh and A. V. Mantsivoda},
     title = {{\CYRO}{\cyrn}{\cyrt}{\cyro}{\cyrl}{\cyro}{\cyrg}{\cyri}{\cyri}, {\cyrm}{\cyre}{\cyrt}{\cyra}{\cyrd}{\cyra}{\cyrn}{\cyrn}{\cyrery}{\cyre} {\cyri} {\cyrs}{\cyre}{\cyrm}{\cyra}{\cyrn}{\cyrt}{\cyri}{\cyrch}{\cyre}{\cyrs}{\cyrk}{\cyro}{\cyre} {\cyrp}{\cyrr}{\cyro}{\cyrg}{\cyrr}{\cyra}{\cyrm}{\cyrm}{\cyri}{\cyrr}{\cyro}{\cyrv}{\cyra}{\cyrn}{\cyri}{\cyre}},
     journal = {Sibirskij \v{z}urnal \v{c}istoj i prikladnoj matematiki},
     pages = {29--51},
     year = {2007},
     volume = {7},
     number = {2},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VNGU_2007_7_2_a2/}
}
TY  - JOUR
AU  - A. A. Malykh
AU  - A. V. Mantsivoda
TI  - Онтологии, метаданные и семантическое программирование
JO  - Sibirskij žurnal čistoj i prikladnoj matematiki
PY  - 2007
SP  - 29
EP  - 51
VL  - 7
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/VNGU_2007_7_2_a2/
LA  - ru
ID  - VNGU_2007_7_2_a2
ER  - 
%0 Journal Article
%A A. A. Malykh
%A A. V. Mantsivoda
%T Онтологии, метаданные и семантическое программирование
%J Sibirskij žurnal čistoj i prikladnoj matematiki
%D 2007
%P 29-51
%V 7
%N 2
%U http://geodesic.mathdoc.fr/item/VNGU_2007_7_2_a2/
%G ru
%F VNGU_2007_7_2_a2
A. A. Malykh; A. V. Mantsivoda. Онтологии, метаданные и семантическое программирование. Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 7 (2007) no. 2, pp. 29-51. http://geodesic.mathdoc.fr/item/VNGU_2007_7_2_a2/

[1] Goncharov S. S., Ershov Yu. L., Sviridenko D. I., “Semantic programming”, Information processing, Proc. IFIP 10-th World Comput. Congress (Dublin, 1986), v. 10, 1093–1100 | MR

[2] Goncharov S. S., Ershov Yu. L., Sviridenko D. I., “Semantic foundations of programming”, Lecture Notes in Computer Science, 278, 1987, 116–122 | DOI | Zbl

[3] Mantsivoda A., “Flang: A Functional-Logic Language”, Lecture Notes in Computer Science, 567, 257–270 | DOI

[4] Mantsivoda A., Petukhin V., Weimann A., “Memory Management of Constraints in Flang”, Proc. of 10th Int. Conf on Logic Programming, ed. D. S. Warren, MIT Press, 1993, 633–646

[5] Mantsivoda A. V., “Yazyk Fleng i obrabotka XML-dokumentov”, Nauchnyi servis v seti Internet-2004, Trudy Vserossiiskoi nauchnoi konferentsii, MGU, 2004, 236–239 http://www.teacode.com/public/abrau-2004-1.txt

[6] Veb-stranitsa Fleng-proekta, 2002–2004 http://teacode.com/flang

[7] Web-stranitsa sistemy META: dokumentatsiya i distributiv rannei versii, 2004 http://teacode.com/meta

[8] Mantsivoda A. V., Malykh A. A., “META: razrabotka metaopisanii obrazovatelnykh resursov”, Trudy Vserosiiskoi konferentsii «Telematika 2003» (S.-Peterburg, 2003), 169–170

[9] Malykh A. A., Mantsivoda A. V., “Sistema META i otkrytye modeli znanii”, Trudy Vserossiiskoi nauchnoi konferentsii «Nauchnyi servis v seti Internet-2004» (MGU, 2004), 173–175 http://www.teacode.com/public/abrau-2004-2.txt

[10] Malykh A. A., Mantsivoda A. V., “META: metaopisaniya i obrazovatelnye pakety”, Trudy Vserosiiskoi konferentsii «Telematika 2004» (S.-Peterburg, 2004)

[11] Gorbunova E. I., Lobachev S. L., Malykh A. A., Mantsivoda A. V., Polyakov A. A., Soldatkin V. I., Otkrytoe obrazovanie: standartizatsiya opisaniya informatsionnykh resursov, eds. Lobachev S. L., Mantsivoda A. V., RITs «Alfa» MGOPU im. M. A. Sholokhova, M., 2003

[12] Andreev A. A., Gorbunova E. I., Lobachev S. L., Lupanov K. Yu., Malykh A. A., Mantsivoda A. V., Soldatkin V. I., Osnovy otkrytogo obrazovaniya, v. 4, ed. Soldatkin V. I., Rossiiskii gosudarstvennyi institut otkrytogo obrazovaniya. NIITs RAO, M., 2004 (to appear)

[13] Malykh A. A., Mantsivoda A. V., Petukhin V. A., “Elektronnye uchebnye materialy: standarty i resheniya”, Trudy Vserosiiskoi konferentsii «Telematika 2002», SPb., 85–86

[14] Mantsivoda A. V., Petukhin V. A., “Portaly, obrabotka strukturirovannoi informatsii i yazyki iskusstvennogo intellekta”, Trudy Vserosiiskoi konferentsii «Telematika 2003» (SPb., 2003), 168–169

[15] Nartov D. S., Romanova O. A., Stukushin N. O., “Onlainovaya konsultatsiya po matematike”, Trudy Vserosiiskoi konferentsii «Telematika 2003» (SPb., 2003), 203–205

[16] Gorbunova E. I., Lobachev S. L., Malykh A. A., Mantsivoda A. V., “Podkhod k standartizatsii v informatsionno-obrazovatelnoi srede otkrytogo obrazovaniya”, Trudy Vserosiiskoi konferentsii «Telematika 2003» (SPb., 2003), 423–425

[17] Mantsivoda A. V., Malykh A. A., “Metaopisaniya i logicheskaya struktura elektronnykh obrazovatelnykh resursov”, Novye infokommunikatsionnye tekhnologii: dostizheniya, problemy, perspektivy, Trudy Mezhdunarodnogo foruma (Novosibirsk, 2003), 73–77

[18] Mantsivoda A. V., Lipovchenko V. V., Malykh A. A., Nartov D. S., Petukhin V. A., Romanova O. A., Shivtorov M. I., “Matematicheskie formuly i elektronnye obrazovatelnye resursy”, Novye infokommunikatsionnye tekhnologii: dostizheniya, problemy, perspektivy, Trudy Mezhdunarodnogo foruma (Novosibirsk, 2003), 78–84

[19] Mantsivoda A. V., Petukhin V. A., Shivtorov M. I., “RTF, LaTeX i logicheskaya razmetka dokumentov”, Trudy Vserosiiskoi konferentsii «Telematika 2004» (SPb., 2004)

[20] Lipovchenko V. A., Mantsivoda A. V., “Translyatsiya matematicheskikh formul iz dokumentov MS WORD v standartnyi format”, Trudy Vserosiiskoi konferentsii «Telematika 2004» (SPb., 2004)

[21] Kuroptev A. A., Mantsivoda A. V., “Izobrazhenie matematicheskikh formul v formate MathML”, Trudy Vserosiiskoi konferentsii «Telematika 2004» (SPb., 2004)

[22] Malykh A. A., Mantsivoda A. V., Romanova O. A., Stukushin N. O., “QTI-pleier: onlainovyi servis podderzhki testirovaniya”, Trudy Vserosiiskoi konferentsii «Telematika 2004» (SPb., 2004)

[23] Mantsivoda A. V., Splan: «cheloveko-orientirovannyi» yazyk dlya postroeniya formalnykh ontologii i spetsifikatsii, Preprint No 200

[24] Semantic Web activity http://www.w3.org/2001/sw/

[25] World Wide Web Consortium http://www.w3.org

[26] Uniform Resource Identifiers (URI): Generic Syntax, , 1998 http://www.ietf.org/rfc/rfc2396.txt

[27] http://www.unicode.org/

[28] Extensible Markup Language (XML) 1.0 (Third Edition), W3C Recommendation, , 04 February 2004 http://www.w3.org/TR/2004/REC-xml-20040204

[29] Simon St. Laurent, XML: A Primer, second edition, M Books, Foster City, CA, 1999

[30] XML Schema Part 2: Datatypes, W3C Recommendation, , World Wide Web Consortium, 2 May 2001 http://www.w3.org/TR/2001/REC-xmlschema-2-20010502

[31] http://www.w3.org/RDF/

[32] Web Ontology Working Group http://www.w3.org/2001/sw/WebOnt/

[33] OWL Web Ontology Language. Overview http://www.w3.org/TR/2004/REC-owl-features-20040210/

[34] Horrocks I., Patel-Schneider P., van Harmelen F., From SHIQ and RDF to OWL: The making of a Web Ontology Language, http://www.cs.man.ac.uk/h̃orrocks/Publications/download/2003/HoPH03a.pdf

[35] Connolly D., van Harmelen F., Horrocks I., McGuinness D. L., Patel-Schneider P. F., Stein L. A., DAML+OIL (March 2001) reference description. W3C Note, , 18 December 2001 http://www.w3.org/TR/2001/NOTE-daml+oil-reference-20011218

[36] Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider, The description logic handbook. Theory, Implementation and Applications, Cambridge, 2003 | MR

[37] Konsortsium IMS http://www.imsglobal.org

[38] Spetsifikatsiya IMS «Metadannye uchebnykh ob'ektov. Informatsionnaya model» (IMS Learning Resource Meta-Data Information Model Version 1.2.1 Final Specification), http://www.imsglobal.org/metadata/imsmdv1p2p1/imsmd_infov1p2p1.html

[39] Learning object metadata, , IEEE Learning Technology Standards Committee http://ltsc.ieee.org/

[40] Sowa J. F., Ontology, Metadata and Semiotics, http://users.bestweb.net/s̃owa/peirce/ontometa.htm

[41] Berners-Lee T., Hendler J., Lassila O., The Semantic Web, Scientific American, May, 2001

[42] Lassila O., Swick R. R., Resource Description Framework (RDF) Model and Syntax Specification. W3C recommendation, , Feb. 1999 http://www.w3.org/TR/1999/REC-rdf-syntax-19990222

[43] Brickley D., Guha R. V., Resource Description Framework (RDF) Schema Specification. W3C proposed recommendation, , Mar. 1999 http://www.w3.org/TR/1999/PR-rdf-schema-19990303

[44] RDFCore: Resource Description Framework (RDF) Schema Specification 1.0

[45] Champin P.-A., RDF Tutorial, , 2001 http://www710.univ-lyon1.fr/c̃hampin/rdf-tutorial/

[46] http://www.w3.org/TR/REC-xml-names

[47] Dublin Core Metadata Initiative (Dublinskoe yadro: initsiativnaya gruppa po metaopisaniyam) http://dublincore.org

[48] Hillmann D., Dublin Core Metadata Initiative http://dublincore.org/documents/2003/08/26/usageguide

[49] Dublin Core projects http://dublincore.org/projects

[50] Lagoze K., Keeping Dublin Core simple. Cross-Domain. Discovery or resource description?, D-Lib Magazin, 2001, no. 1 http://www.dlib.org/dlib/january01/lagoze/01lagoze.html

[51] Baker T., “A grammar of Dublin Core”, D-Lib Magazin, 2000, no. 10 http://www.dlib.org/dlib/october00/baker/10baker.html

[52] DCMI Metadata Terms http://dublincore.org/documents/dcmi-terms/

[53] http://dublincore.org/documents/dc-xml-guidelines/

[54] Universal decimal classification consortium http://www.udcc.org

[55] Scott D., “Domains for denotational semantics”, Languages and programming table of contents, Proceedings of the 9th colloquium on automata, Lecture notes in computer science, 1982, 577–613 | DOI | MR | Zbl

[56] Saraswat V. A., Constraint logic programming, MIT Press, 1993 | MR