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

Vila Su; Lei Zheng; King Zhong; Chunnian Liu; Jiming Liu

doi:10.1109/EEE.2005.59

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

Department of Computer Science

Research output: Chapter in book/report/conference proceeding › Conference proceeding › peer-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 language	English
Title of host publication	Proceedings - 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE-05
Pages	208-213
Number of pages	6
DOIs	https://doi.org/10.1109/EEE.2005.59
Publication status	Published - 2005
Event	2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE-05 - Hong Kong, China Duration: 29 Mar 2005 → 1 Apr 2005 https://ieeexplore.ieee.org/xpl/conhome/9634/proceeding

Publication series

Name	Proceedings - IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE

Conference

Conference	2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE-05
Country/Territory	China
City	Hong Kong
Period	29/03/05 → 1/04/05
Internet address	https://ieeexplore.ieee.org/xpl/conhome/9634/proceeding

Access to Document

10.1109/EEE.2005.59

Cite this

Su, V., Zheng, L., Zhong, K., Liu, C., & Liu, J. (2005). Distributed reasoning based on Problem Solver Markup Language (PSML) - A demonstration through extended OWL. In Proceedings - 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE-05 (pp. 208-213). (Proceedings - IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE). https://doi.org/10.1109/EEE.2005.59

@inproceedings{689ee916cafa46b2b5ad5bfb6a4e753b,

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

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.",

author = "Vila Su and Lei Zheng and King Zhong and Chunnian Liu and Jiming Liu",

note = "Copyright: Copyright 2008 Elsevier B.V., All rights reserved.; 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE-05 ; Conference date: 29-03-2005 Through 01-04-2005",

year = "2005",

doi = "10.1109/EEE.2005.59",

language = "English",

isbn = "0769522742",

series = "Proceedings - IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE",

pages = "208--213",

booktitle = "Proceedings - 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE-05",

url = "https://ieeexplore.ieee.org/xpl/conhome/9634/proceeding",

}

Su, V, Zheng, L, Zhong, K, Liu, C & Liu, J 2005, Distributed reasoning based on Problem Solver Markup Language (PSML) - A demonstration through extended OWL. in Proceedings - 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE-05. Proceedings - IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE, pp. 208-213, 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE-05, Hong Kong, China, 29/03/05. https://doi.org/10.1109/EEE.2005.59

Distributed reasoning based on Problem Solver Markup Language (PSML) - A demonstration through extended OWL. / Su, Vila; Zheng, Lei; Zhong, King et al.
Proceedings - 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE-05. 2005. p. 208-213 (Proceedings - IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE).

Research output: Chapter in book/report/conference proceeding › Conference proceeding › peer-review

TY - GEN

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

AU - Su, Vila

AU - Zheng, Lei

AU - Zhong, King

AU - Liu, Chunnian

AU - Liu, Jiming

PY - 2005

Y1 - 2005

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=26944437300&partnerID=8YFLogxK

U2 - 10.1109/EEE.2005.59

DO - 10.1109/EEE.2005.59

M3 - Conference proceeding

AN - SCOPUS:26944437300

SN - 0769522742

SN - 9780769522746

T3 - Proceedings - IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE

SP - 208

EP - 213

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

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

Y2 - 29 March 2005 through 1 April 2005

ER -

Su V, Zheng L, Zhong K, Liu C, Liu J. Distributed reasoning based on Problem Solver Markup Language (PSML) - A demonstration through extended OWL. In Proceedings - 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE-05. 2005. p. 208-213. (Proceedings - IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE). doi: 10.1109/EEE.2005.59

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

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this