The integration of knowledge model is based on ontology algebra and the process of knowledge model is based on ontology inference and query.
研究了基于本体代数的知识模型集成和基于本体推理、查询的知识模型处理。
On the base of translating process transition graph into process Algebra expression by hand, this paper puts forward the idea of translating between them automatically.
在手工转换进程迁移图到进程表达式的基础上，提出了自动转换的进一步研究思路。
The math model is used to image the essential relation of every variable in the process, maybe the model is algebra equation, or differential equation, or geometry curve.
数学模型用来反映过程本身各有关变量之间本质关系，它可能是代数方程、微分方程或几何曲线。
应用推荐