论文部分内容阅读
音乐是一门重要的社会学科,具有丰富的领域知识,这些知识是计算机音乐应用系统所需要的专业知识.本文基于本体论方法形式化地探讨音乐领域本体的建立和分析,具体介绍了本体的建立方法、本体元素的描述、本体的一致性分析等方面内容.我们给出两个判断类间关系一致性的算法并分析其性质,还探讨了基于公理的知识的一致性.