β-PSML语言的推理及应用

摘要

随着Web的发展,用户检索有用的信息变得越来越难.因此,在Web环境下,迫切需要研发相应的系统解决这个问题.而这一系统的核心是问题解决标记语言和基于PSML语言的Web推理引擎.该文提出了β-PSML语言的推理算法,并说明了某些查询仅使用Prolog或OWL其中之一的推理引擎无法得到结果,只有通过结合Prolog和OWL二者的推理引擎进行推理才能得出结果.实验结果表明该方法是有效的,原型系统在语义Web上可得到良好的结果.