基于民乐领域本体的语义推理研究  

作　　者：薛云[1] 

机构地区：[1]浙江树人大学图书馆,杭州310015

出　　处：《情报探索》2009年第4期104-106,共3页Information Research

摘　　要：阐述了本体描述语言(描述逻辑)的概念、可满足性以及利用其进行语义推理的优越性。针对民乐领域本体的特点,利用描述逻辑语言ALC写出民乐领域的推理规则,使其符合描述逻辑的推理可满足性,并用Tableau算法测试其满足性,在构建好的民乐领域本体基础之上完成语义推理。

关 键 词：描述逻辑 语义推理 领域本体 民乐 

分 类 号：G254.36[文化科学—图书馆学]