%0 Journal Article
%T 语义网的一阶逻辑推理技术支持
%A 徐贵红？
%A 张健？
%J 软件学报
%P 3091-3099
%D 2008
%X 研究了一阶逻辑推理工具对语义网的推理支持.语义网的关键推理问题可以化为公式的可满足性判定问题.一阶逻辑的自动定理证明器可以证明不可满足性,而有限模型查找器为可满足的公式在有限域内构造模型.提出在语义网的推理中,同时使用定理证明器和有限模型查找器.实验结果表明,这样可以解决描述逻辑工具的不足,并可以弥补定理证明器对可满足的公式推理的不完备性.
%K 语义网推理
%K 一阶逻辑
%K 描述逻辑
%K 本体
%K 可满足性
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20081201&flag=1