%0 Journal Article
%T First-Order Logic Reasoning Support for the Semantic Web<br>语义网的一阶逻辑推理技术支持
%A XU Gui-Hong
%A ZHANG Jian
%A <br>徐贵红
%A 张健
%J 软件学报
%D 2008
%I 
%X 研究了一阶逻辑推理工具对语义网的推理支持.语义网的关键推理问题可以化为公式的可满足性判定问题.一阶逻辑的自动定理证明器可以证明不可满足性,而有限模型查找器为可满足的公式在有限域内构造模型.提出在语义网的推理中,同时使用定理证明器和有限模型查找器.实验结果表明,这样可以解决描述逻辑工具的不足,并可以弥补定理证明器对可满足的公式推理的不完备性.
%K 语义网推理
%K 一阶逻辑
%K 描述逻辑
%K 本体
%K 可满足性
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=F0C4334A05AAA1F0A9B5E452EC33464C&yid=67289AFF6305E306&vid=2A8D03AD8076A2E3&iid=59906B3B2830C2C5&sid=BD94C673B68A7261&eid=6C53EC93BB68E3BC&journal_id=1000-9825&journal_name=软件学报&referenced_num=2&reference_num=19