.
.
.
.
. .
. .
. , , .
:
1. - , ;
2. , , .
, . , , - , , , , , . :
,
,
,
,
.
, : .
, .
, , , , .
, , :
, ,
(), ( ):
Forall (E,P) Employee(E) and Head-Of-Project(E,P) => Works-At-Project(E,P)
.
( OpenCyc, SUMO, DOLSE).
OpenCyc , .
OpenCyc1 Cyc, . OpenCyc : , , , , , .. (http://www.opencyc.com).
OpenCyc . . , OpenCyc : "-" (genls) "-" (isa). . isa , genls, .. B B C, . , genls ( genls ), , .
|
|
.6. OpenCyc
"". , , (.. Universe of Discourse). OpenCyc, "", "" "" , "". , "" , , - . "" 116 . .6 .
"" , .. , . , , , , , , , , . , ( "-") , ( "-" "-") . , (1), , (2), (3) (4) .
"" OpenCyc, "". "" , ( - !), ( ) (). "" " ". , . "" , .
OpenCyc () (), . : . OpenCyc , , ( ) . OpenCyc CycL, .
DOLCE (Descriptive Ontology for Linguistic and Cognitive Engineering) WonderWeb. (http://www.loa-cnr.it/DOLCE.html).
DOLCE SemanticWeb , . , . - , WFOL ( WonderWeb), , , WordNet. DOLCE , .
|
|
( ) ( ), . DOLCE - , , . ( , ). , ( - , , ).
DOLCE ( ) . , (, , ).
. 7. DOLCE.
, - , , (: , ), .
"" "" DOLCE. , "-". , , , . "" "- ". : "-", "-" ( ) . , OpenCyc "". , " " , : .
DOLCE , Cyc, : . , OWL. , KIF2, OWL . , KIF3 OWL. , , OWL , .
SUMO (Suggested Upper Merged Ontology) , IEEE SUO (IEEE Standard Upper Ontology Working Group) Teknowledge. (http://ontology.teknowledge.com/).
SUMO , ( 1 . ), ( 4 .), . SUMO , , (), . : , ( , , ), , , , . SUMO : , , , ( (J. Sowas ontology), ). SUMO , (MILO), SUMO, , WordNet , 150 . .
|
|
8. SUMO.
SUMO (. 8.) , OpenCyc, , , , DOLCE. , , . , -, ( , ). , , DOLCE. : . , . : ī (). , ( ) , . , . SUO-KIF KIF , .
1. (=>
(and
(subclass-of?OBJECTTYPE )
(instance-of?OBJECT?OBJECTTYPE)
(part-of?PART?OBJECT))
(instance-of?PART?OBJECTTYPE))
2. (equal (ComplementFn
)
1 (PART) (OBJECT), (OBJECTTYPE) , (PART) OBJECT OBJECTTYPE. 2 ,
.
SUMO . (-) . , OpenCyc, , .
, , . , - ( OpenCyc, ), , . , , . -, . , , .
|
|
- , , . , , . , . , .
. SUMO . , , , , . : , .
, .., . , , , ƫ ̫ , .
, . , ,
.
, SUMO. : C , H L , H L C. , , . SUMO SUO-KIF.