Distributed Reasoning Based on Problem Solver Markup Language (PSML) - A Demonstration through Extended OWL -
Yila Su, Lei Na Zheng, Ning Zhong, Chunnian Liu, Jiming Liu · 2005
Since the World Wide Web is enlarging its scale, users cannot find and utilize information easily. Hence 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. In this paper, we demonstrate a possible implementation of certain distributed reasoning capabilities as required in the future PSML. In particular, our proposed implementation, called /spl beta/-PSML, is based on the combination of OWL (Web ontology language) with Horn clauses. From the viewpoint of expressive power, the proposed /spl beta/-PSML can represent multi-argument relation that is an extension of the OWL capability, and models domains with a rich hierarchical structure for Horn clauses. Furthermore, we discuss how to extend the /spl beta/-PSML for solving problems in a large-scale distributed Web environment.