()
|
|
[]
«» , . :
- , ;
- ; , .
[]
[]
(. instances) (. individuals) , . (, , ), (, ). , . , , .
[]
(. concepts) ( (. classes)) , . , , , . :
- «», «». «» , () .
- «», «».
[]
. , , . , the Ford Explorer , :
- : Ford Explorer
- -: 4
- : {4.0, 4.6}
- -: 6-
[]
, () . , .
, Ford Explorer Ford Bronco. Bronco - Explorer, Ford Explorer Ford Bronco «isSuccessorOf» «Explorer» Bronco ( , ).
[]
(-) - . . , «» ( ( )), ( ()), ( ()).
, . . . , . - , , . , . , . . , .
[]
- OWL Web Ontology Language, W3C, , RDF RDFS;
- KIF (Knowledge Interchange Format ) S- ;
- Common Logic KIF ( ISO/IEC 24707:2007).
- CycL , Cyc, .
- DAML+OIL (FIPA)
: ( ), DBMS ( ) ( ).
[] .
[]
 |
. , . |
 |
. , . |
 |
?: |
| · · · · · · · | |
| Ƹ | · · · |
| · · | |
| · · · · | |
| · · | |
