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

关键词: 问题解决标记语言, 网络智能, 语义Web

Abstract: With the Web developing,it is not easy that users find and utilize information.Consequently,problem-solving systems in the Web environment are required.The core of such systems is the problem solver markup language(PSML) and PSML-based distributed Web inference engines.This paper proposes the reasoning algorithm of β-PSML and shows that some queries cannot be answered by using Prolog or OWL inference engine only.However,our algorithm of β-PSML can answer the queries successfully by cooperatively using both of the two inference engines.The experimental results show that the algorithm is valid and the prototype of solution works well on the semantic Web.

中图分类号: 

• TP312