摘要
对基于描述逻辑的语义推理机制进行阐述分析,详细探讨在本体构建过程中,运用基于描述逻辑的语义推理进行一致性判定和相容判定的重要性和实现技术。并以具体的本体构建为例,对构建过程中的推理判定进行了验证。
This paper analyzes the principle of semantic reasoning about DL, and discusses the issues such as the importance and implemental technologies of consistent test and subsuming test based on DL reasoning in the process of Ontology canstruction. Finally, performes and testifies the practical reasoning tasks about a concrete Ontology construction.
出处
《现代图书情报技术》
CSSCI
北大核心
2006年第11期61-64,共4页
New Technology of Library and Information Service
关键词
本体构建
描述逻辑
语义推理
Ontology construction Description logic Semantic reasoning
