The integration of knowledge model is based on ontology algebra and the process of knowledge model is based on ontology inference and query.

• 研究了基于本体代数的知识模型集成和基于本体推理、查询的知识模型处理。