β-PSML语言的推理及应用  

Reasoning and Applications of β-PSML

作　　者：苏依拉 [1] 郑磊 [2] 刘椿年 [2] 钟宁 [3] LIU Jiming  

机构地区：[1]北京工业大学多媒体与智能软件技术北京市重点实验室,北京,100022,内蒙古工业大学信息工程学院,呼和浩特,010062 [2]北京工业大学多媒体与智能软件技术北京市重点实验室,北京,100022 [3]日本前桥工业大学 [4]香港浸会大学

出　　处：《计算机工程》2005年第23期146-147,168,共3页Computer Engineering

基　　金：国家自然科学基金资助项目(4022003);内蒙古自治区自然科学基金资助项目(200208020217);多媒体与智能软件技术北京市重点实验室开放基金资助项目

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

关 键 词：问题解决标记语言 网络智能 语义WEB 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]