Distributed Reasoning Based on Problem Solver Markup Language (PSML) - A Demonstration through Extended OWL -

  • Authors:

  • Yila Su;Lei Zheng;Ning Zhong;Chunnian Liu;Jiming Liu

  • Affiliations:

  • Beijing University of Technology, China/ Inner Mongolia University of Technology, China;Beijing University of Technology, China;Maebashi Institute of Technology, Japan;Beijing University of Technology, China;Hong Kong Baptist University, Hong Kong

  • Venue:
  • EEE '05 Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'05) on e-Technology, e-Commerce and e-Service
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

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 capablities as required in the future PSML. In particular, our proposed implementation, called β-PSML, is based on the combination of OWL (Web Ontology Language) with Horn clauses. From the viewpoint of expressive power, the proposed β-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 β-PSML for solving problems in a large-scale distributed Web environment.