语义网的一阶逻辑推理技术支持


Autoria(s): 徐贵红; 张健
Data(s)

2008

Resumo

研究了一阶逻辑推理工具对语义网的推理支持.语义网的关键推理问题可以化为公式的可满足性判定问题.一阶逻辑的自动定理证明器可以证明不可满足性,而有限模型查找器为可满足的公式在有限域内构造模型.提出在语义网的推理中,同时使用定理证明器和有限模型查找器.实验结果表明,这样可以解决描述逻辑工具的不足,并可以弥补定理证明器对可满足的公式推理的不完备性.

Identificador

http://ir.iscas.ac.cn/handle/311060/3142

http://www.irgrid.ac.cn/handle/1471x/66706

Idioma(s)

中文

Fonte

徐贵红; 张健.语义网的一阶逻辑推理技术支持,软件学报,2008,19(12):3091-3099

Palavras-Chave #语义网推理 #一阶逻辑 #描述逻辑 #本体 #可满足性
Tipo

期刊论文