Moreover, the OOTKM with its BNF formal descriptions are put forward and further study about the methods to represent temporal knowledge are introduced. Moreover, The Inference mechanism and algorithm are also analyzed.

• 然后引入面向对象的时态知识表达模型，给出了其BNF语法，分析如何描述领域时态知识，并研究了时态知识推理机制和算法。