论文部分内容阅读
音乐是一门重要的社会学科,具有丰富的领域知识,这些知识是计算机音乐应用系统所需要的专业知识。本文基于本体论方法形式化地探讨音乐领域本体的建立和分析,具体介绍了本体的建立方法、本体元素的描述、本体的一致性分析等方面内容。我们给出两个判断类间关系一致性的算法并分析其性质,还探讨了基于公理的知识的一致性。
Music is an important social discipline with a wealth of domain knowledge that is required for computer music applications. This essay formally discusses the establishment and analysis of ontology in music field based on ontology method, and introduces the methods of ontology establishment, the description of ontology elements and the ontology consistency analysis. We give two algorithms to judge the consistency of relations between classes and analyze their properties. We also discuss the consistency of knowledge based on axioms.