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

关键词: 一致性 音乐知识系统 知识工程 领域本体 公理