|
|
|
|
|
| Abstract Characterization |
||||
| of Temporal Ontology |
||||
| in Logic |
||||
|
|
|
| Teknowledge |
||
| IEEE SUO |
||
| Cyc |
|
|
|
|
|
| DAML-Time |
||||
| Representative |
||||
| Ontology |
||||
| Stanford KSL |
| URochester |
| etc...... |
| Kestrel |