ISCAS OpenIR  > 基础软件与系统重点实验室
语义网的一阶逻辑推理技术支持
Alternative Titlefirst-order logic reasoning support for the semantic web
徐贵红; 张健
2008
Source软件学报
Volume19Issue:12Pages:3091-3099
English Abstract研究了一阶逻辑推理工具对语义网的推理支持.语义网的关键推理问题可以化为公式的可满足性判定问题.一阶逻辑的自动定理证明器可以证明不可满足性,而有限模型查找器为可满足的公式在有限域内构造模型.提出在语义网的推理中,同时使用定理证明器和有限模型查找器.实验结果表明,这样可以解决描述逻辑工具的不足,并可以弥补定理证明器对可满足的公式推理的不完备性.
Indexed Typeei,cscd
Keyword语义网推理 一阶逻辑 描述逻辑 本体 可满足性
Department计算机科学国家重点实验室
Language中文
Content Type期刊论文
URIhttp://ir.iscas.ac.cn/handle/311060/3142
Collection基础软件与系统重点实验室
Recommended Citation
GB/T 7714
徐贵红,张健. 语义网的一阶逻辑推理技术支持[J]. 软件学报,2008,19(12):3091-3099.
APA 徐贵红,&张健.(2008).语义网的一阶逻辑推理技术支持.软件学报,19(12),3091-3099.
MLA 徐贵红,et al."语义网的一阶逻辑推理技术支持".软件学报 19.12(2008):3091-3099.
Files in This Item:
File Name/Size DocType Version Access License
200819123091.pdf(371KB) 开放获取--Application Full Text
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[徐贵红]'s Articles
[张健]'s Articles
Baidu academic
Similar articles in Baidu academic
[徐贵红]'s Articles
[张健]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[徐贵红]'s Articles
[张健]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.