681.3

2002 .. 1, .. 1, .. 2
1 . .. 2 , .
Semantic Web -, "" . "", " ". , . .

, , - . , .
- , , . , . , "" , , .
- . - "" , , "" - , (, , -
). , .
, , Web, , , , , , ..
W3C Consortium (Semantic Web). " (Semantic Web) - , , , " [1]. , , , -, .. () , .

. - "". "", "", "", " " .. - -"", "", "", "", "" . ( ) , , , [2].

- , , - [3]. , , , , .
, .

[4] , " ("1;^1") - . , , ( ) , , , ( , ), - , , -
, , ...". : " - , " [5].
, - , .. , ( - , , ..). "" , , , - , " " ("knowledge as it is").
[6], , - " ". , - , , .

O = <C, R, F>, - () , ; R - () ; F - (), / [7]. , . R F, , , , ..
, () (), .

- , . , [8] , :
- - .
- - , .. , . , .
- - .
- - .
- - , , .

, .
[9] :
- (classes) - ;
- (relations) - . n , : R: C1 x C2 x ... x Cn. : " " ("part-of'), "-" ("subclass-of") "-" ("connected-to");
- (functions) - -
, n- (n-1) : F: C1 x C2 x ... x Cn1 ^ Cn. : "Price-of-a-used-car", , ;
- (axioms) - , . : " - , ";
- (instances) - . , "".
, - , , [10] "" - "" -"" - "" . [11] : "" - "" - "" - "" - "", , , , " - ".
, [12], - . . . -, (identity), (unity), (entity) (dependency). - , , , , . , - "" , .. (misconcepts), , . , ("
?", " - ?" ..), - , , . , - backbone taxonomy, , -. ( , ..) . "" , [13], . , , , , . , "" "" ("Location") " ". , .. , , , . : ( ) ( ). "" "" " ", " " - "".
, , , , , . "", . , [3] " ?" "", "" () , .

, [2]. , .
. (), . , .
[14]. : S R S. . - , . , " - " " - " .
, , (Dynamical Semantic Network - DSN).
DSN, .. (. http://inftech.webservis.ru/it/conference/scm/ 2000/session8/smolen.htm), - , (
). : ; ; . - , , : ; ; , , , .
DSN DSN, , - , . . , "-", , "-" . . .
. , . , .
"" , "" , [15]. -
. , , ; ; "" .
, . , , CAKE [16], Agent Builder Reticular Systems, -- . (., , [17).

, . [18] . . , , , , . , , , ( - , , ..), , . , .. , .
- , " ". , , , .
"" . , -.
1' ( - ) [19]. '^1 : - , , -;
- , ; - , -; . . , , , -. . , , . , . , .
, [20]. - , : , . -
, .
, , , , , .

[21]: ; ; .
, , .
Knowledge Interchange Format (KIF) - ( : http://inftech.webservis.ru/ it/conference/scm/2000/session8/smolen.htm). : KIF, . KIF , , LISP.
KIF . . (material table1 wood) (shape table 1 round) , "table1 table 1 ". , , . , (=> (material ?x wood)(can burn ?x)), .. " - , ". : (believe Bob A(shape, table 1, round)) , Bob , table 1
- . , , , (shape table 1 round) , , . (=> (believe Bob ?x)( believe myself ?x)) " , Bob". , KIF ( ).
KIF , . , , , ( ) KIF, .
Unified Modelling Language (UML). , , [22] - , , UML ( ) OCL (Object Constraint Language).
XML (extended Markup Language). XML , . Web-, .. XML HTML. , :
- XML DTD XML Schema . , XML. RDF (Resource Description Framework) - , W3C (. http://www.w3.org/TR/1999/ REC-rdf-syntax-19990222);
- XPath XPointer - -
.
XML RDF , , :
- SHOE (Simple HTML Ontology Extentions);
- OIL (Ontology Inference Layer);
- DAML (DARPA Agent Markup Language).

HTML- Web .
OIL ( http://www.ontoknowledge.org/ oil/downl/dialects.pdf), SHOE DAML-Ont ( DAML+ OIL).
OIL Standard OIL Instance OIL, , .
Standard OIL (class-def) (slot-def), .
( name). (type) - defined primitive,- , (subclass-of) (slot-constraint).
defined primitive. , (.. ) , , . , defined "", "" "". : " - ". , "" "", - "". primitive . .. - -
, , , , .
. Subclass-of (class-expression). Class-expression , (one-of...), and, or not.
. : , ; , ; ; , ( "" "-"); (properties) - , .
. : (disjoint) , .. , . : disjoint, covered, disjoint-covered, equivalent.
Instance OIL Standard OIL , . - (slot relations), / .

. [21]:
- , .
- , ,
, .
- , , , , , .
- , .. (, , ..).
- . , , , , (, .).
, , . . , , , .. .
, " " [23, 24]), , () .
.
"" . [25] "" 3 :
(Integration), (Merge) (Use/Application).
- (merging) "" (alignment) [26]. , . , . .. ,
- , .
() . [27] . ( , , ). , "" , , . , .
. , . , -, , . - "" , , . (distinguishing) .
, .. (,
), , , .
, . , ( (hypernym)) , , , (distinguishing) . , , , . , . , , , . ( ), "" , , , .
, [28].
[29].
-
-, . .
Ontolingua Server (http://ontolingua. stanford.edu/) [30] - -
, , . - ( ) , . , (), . Ontolingua, KIF .
web-. , , , HTML- .
Loom, IDL, CLIPS . .
[31] . The CIAs World Fact Book ( , , . ), SGML. KIF-. , ( , ). "" . ( , KIF- 1- ). (DARPAs High Performance Knowledge Base Upper-Level ontology, Ontolingua Units and Dimensions Ontology).
SMART [32], Protg, "" . SMART -
"" , . SMART , - , . , "", . SMART "" . "" , DARPAs High Performance Knowledge Base.
" " , , . - OntoSeek [33] , . OntoSeek " " WordNet .

, . , , .
Bee-gent (http://www2.toshiba. co.jp/beegent/index.htm), Toshiba Corporation, Systems and Software Research Laboratories, . Bee-gent ""
("Agentifies") , . , . , Bee-gent , .
Bee-gent 2- . "-" ("Agent Wrappers") , .. "" . "-" ("Mediation Agents") . . - wrapper- , - , .. . Bee-gent , -wrapper- OKBC (Open Knowledge Base Connectivity)
[34]. (, ) - RePEc. - . "-" "" "" , . - (, --), (" -
"), . , , , () .

. , , .
. - , , . . , .
, :
- ;
- , ;
- ( , , );
- ;
- ( Web, , );
- defacto XML.

1. Berners-Lee T., Hendler J., Lassila O. The Semantic Web // Scientific American, May 2001.
2. Huhns M. N., Singh M. P Ontologies for Agents // IEEE Internet Computing, November-December 1997.
3. Batishev S. V., Ivkushkin C. V., Minakov I.A., Rzevski G.A., SkobelevP.O. MagentA MultiAgent Systems: Engines, Ontologies and Applications // Proc. of the 3rd Intern. Workshop on Computer Science and Information Technologies CSIT2001, Ufa, Russia, 21-26 September, 2001. Ufa State Aviation Technical University. Institute JurInfoR-MSU. Vol. 1: Regular Papers. 2001.
4. .., . 86 . ., 1890-1907 .
5. Kant I. Lectures on metaphysics - Part III. Metaphysik L2 (1790-1791) // Translated and edited by Karl Ameriks and Steve Naragon. Cambridge University Press, 1997.
6. Gruber T. The role of common ontology in achieving sharable, reusable knowledge bases // Proceedings of the Second International Conference, 1991.
7. .., .. . .: , 2000.
8. Gruber T. Toward Principles for the Design of Ontologies // International Workshop on Formal Ontology, March. 1993. Padova. Italy.
9. Gomez-Perez A., Benjamins V.R. Overview of Knowledge Sharing and Reuse Components: Ontologies and Problem-Solving Methods // Proc. of the IJCAI-99 workshop on Ontologies and Problem-Solving Methods (KRR5) Stockholm. Sweden. August 2. 1999.
10. Bummux B..
- // . . 1998. 3.
11. ndpeee B.B., K.B., M.., ., .. - // 3- , , 4-9 2001. : , 2001.
12. Guarino N., Welty Ch. A Formal Ontology of Properties // Proc. of 12th Int. Conf. on Knowledge Engineering and Knowledge Management, Lecture Notes on Computer Science. Springer Verlag. 2000.
13. Guarino N., Welty Ch. Ontological Analysis of Taxonomic Relationships // Proceedings of ER-2000: The International Conference on Conceptual Modeling. October, 2000.
14. .. : // . .: . , 1997.
15. Grand S., Cliff D. Creatures: Entertainment Software Agents with Artificial Life // Autonomous Agents and Multi-Agent Systems 1(1). 1998.
16. Bu.B. // . ., 1998. 2.
17. .., . // / . .. . : 1999. .3.
18. .. , . , // / . .. . : 1999. .3.
19. .. - // / .: . -. - , , 2000.
20. .., . -
// 7- -2000, 24-27 2000, --, . ., 2000. . 1.
21. McGuinness D.L. Ontologies Come of Age // The Semantic Web: Why, What, and How, MIT Press, 2001.
22. CranefieldS., Purvis V. UML as an Ontology Modelling Language // Proceedings of the IJCAI-99 Workshop on Intelligent Information Integration
23. Gavrilova T., Voinov A., Vasilyeva E. Visual Knowledge Engineering as a Cognitive Tool // Proc of International Work Conference on Artificial and Neural Networks IWANN99. Spain. 1999.
24. . // 7- -2000, 24-27 2000, --, . ., 2000. . 1.
25. Pinto H. S., Gomez-Perez A., Martins J. P Some Issues on Ontology Integration // Proceedings of the IJCAI-99 workshop on Ontologies and Problem-Solving Methods (KRR5) Stockholm, Sweden, August 2, 1999.
26. Noy N.F., Musen M.A. An Algorithm for Meriging and Aligning Ontologies: Automation and Tool Support // AAAI-99 Workshop on Ontology Management. Also, SMI Technical Report SMI-99-0799.
27. Visser P., Tamma V. An Experience with Ontology-based Agent Clustering // Proceedings
of the IJCAI-99 workshop on Ontologies and Problem-Solving Methods (KRR5) Stockholm, Sweden, August 2, 1999.
28. .. . // , 2002. .3. 1.
29... . // . 2001. 6.
30.Farquhar A., Fikes R., Rice J. Ontolingua Server: a Tool for Collaborative Ontology Construction // International Journal of HumanComputer Studies 46, 707-727, 1997.
31. Farquhar A., Fikes R., Rice J. Building a large Knowledge Base from a Structured Source: The CIA World Fact Book // IEEE Intelligent Systems. January/February. 1999. Vol.14. 1.
32. Noy N.F., Musen M.A. SMART: Automated Support for Ontology Meriging and Alignment // Twelfth Banff Workshop on Knowledge Acquisition, Modeling, and Management; Banff, Alberta, Canada; 1999. Also, SMI Technical Report SMI-1999-0813.
33. Guarino N., Masolo C., Vetere G. OntoSeek: Content-Based Access to the Web // 70 1094-7167/99, IEEE INTELLIGENT SYSTEMS.
34. Krichel T., ., . ( RePEc/ RuPEc) // . ., 1999.
ONTOLOGY DEVELOPMENT METHODS AND TOOLS FOR INTELLECTUALIZATION OF INTERNET RESOURCES
2002 S.V. Batishchev1, T.V. Iskvarina1, P.O. Skobelev2
1 Samara Branch of Physics Institute named for P.N. Lebedev of Russian Academy of Sciences
2 Institute for the Control of Complex Systems of Russian Academy of Sciences, Samara
The problem of Internet resource intellectualization and "Semantic Web" development is analyzed. New generation of Internet applications (based on the concept of "ontology" for semantic description of Internet resources and cooperative activities) are overviewed. Different approaches to "ontology" concept definition are compared. Ontology development criteria and basis of primary concepts are given. Methods for formal ontology definition and integration (together with relevant programming language tools for ontology description) are described. Software tools requirement are proposed. Examples of successful implementations of different ontology-based web projects are given.