Reasoning and Applications of β-PSML
Jiming Liu · Jisuanji gongcheng · 2005
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.