介绍了形式化描述语言LOTOS的特性，结合面向对象技术和状态图的理论知识，给出了基于LOTOS的动态模型的形式化方法，并给出了实例说明。

Combined with theory of object oriented technology and state chart, formalization method of dynamic model based on LOTOS is presented. Furthermore, a case is presented to demonstrate this method.

youdao

对产品知识进行了层次化的表示，并借助ODLBKIF和基于角度知识描述语言进行了说明。同时，给出了基于本体论的知识推理方法。

The hierarchical denotation of product knowledge is demonstrated by means of ODLBKIF and the described language based on aspect knowledge.

youdao