语义web环境下语义推理的研究与实现

被引:3
作者
汤怡洁 [1 ,2 ]
周子健 [1 ,2 ]
机构
[1] 中国科学院国家科学图书馆武汉分馆
[2] 中国科学院武汉文献情报中心
关键词
语义网; 语义推理; 推理机; 语义分析;
D O I
10.13663/j.cnki.lj.2011.03.007
中图分类号
TP391.1 [文字信息处理];
学科分类号
081203 ; 0835 ;
摘要
从语义推理技术入手,主要针对描述逻辑、推理算法和推理机三个方面进行了研究分析。在此基础上,本文进行了语义推理原型系统的设计与实现。系统在语义分析模块中利用语义推理进行检索词的规范和扩展,在语义检索模块通过语义推理挖掘关联隐含知识。通过语义推理原型系统的构建,利用专用推理机Pellet与Jena推理子系统层叠的方式进行语义推理,为今后各种知识服务系统的语义推理提供参考依据。
引用
收藏
页码:69 / 75+64 +64
页数:8
相关论文
共 2 条
[1]   An Overview of Tableau Algorithms for Description Logics [J].
Baader F. ;
Sattler U. .
Studia Logica, 2001, 69 (1) :5-40
[2]  
http://owl.man.ac.uk/factplusplus . 2010