Distributed reasoning based on Problem Solver Markup Language (PSML) - A demonstration through extended OWL

Vila Su*, Lei Zheng, King Zhong, Chunnian Liu, Jiming Liu

*Corresponding author for this work

Research output: Chapter in book/report/conference proceedingConference proceedingpeer-review

23 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationProceedings - 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE-05
Pages208-213
Number of pages6
Publication statusPublished - 2005
Event2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE-05 - Hong Kong, China
Duration: 29 Mar 20051 Apr 2005
https://ieeexplore.ieee.org/xpl/conhome/9634/proceeding

Publication series

NameProceedings - 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE-05

Conference

Conference2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE-05
Country/TerritoryChina
CityHong Kong
Period29/03/051/04/05
Internet address

Scopus Subject Areas

  • Engineering(all)

Fingerprint

Dive into the research topics of 'Distributed reasoning based on Problem Solver Markup Language (PSML) - A demonstration through extended OWL'. Together they form a unique fingerprint.

Cite this