摘要
音乐是一门重要的社会学科,具有丰富的领域知识,这些知识是计算机音乐应用系统所需要的专业知识。本文基于本体论方法形式化地探讨音乐领域本体的建立和分析,具体介绍了本体的建立方法、本体元素的描述、本体的一致性分析等方面内容。我们给出两个判断类间关系一致性的算法并分析其性质,还探讨了基于公理的知识的一致性。
Music is one of important social subjects, and has plenty of domain knowledge, which is necessary for musical computer application system of music. In this paper, a method for musicology-specific ontology building and analysis is introduced. Steps for ontology building , methods of representation for components of ontology, and the consistency of musical ontology are specifically proposed. Two algorithms for checking relationships between categories are presented and their properties are analyzed. Knowledge consistency analysis based on musicology-specific axioms is also discussed.
出处
《计算机科学》
CSCD
北大核心
2004年第1期103-107,共5页
Computer Science
基金
自然科学基金(#60073017
#60273019)
科技部重大基础研究项目(#2001CCA03000)
关键词
一致性
音乐知识系统
知识工程
领域本体
公理
Domain-specific ontology, Sub-ontology, Axioms, Knowledge analysis, Consistency analysis