摘要
作为语义网的逻辑基础,描述逻辑在知识表示与知识推理方面发挥着重要作用。基于描述逻辑的推理系统保证了其推理的合理性和有效性。本文概要介绍基于UFO本体的OntoUML,并探讨OntoUML模型到描述逻辑的形式化表示及推理方法。
As the foundation logic of semantic Web,description logic plays an important role in knowledge representation and knowledge reasoning.Description logic-based reasoning system ensures the rationality and validity of its reasoning.The paper introduces UFO ontology-based OntoUML briefly.Transforming OntoUML model into knowledge base of description logics and the reasoning approach of OntoUML model is also mentioned.
出处
《计算机与现代化》
2010年第12期12-14,共3页
Computer and Modernization
