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
N1 - Copyright:
Copyright 2008 Elsevier B.V., All rights reserved.
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
M3 - Conference contribution
AN - SCOPUS:26944437300
SN - 0769522742
SN - 9780769522746
T3 - Proceedings - 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE-05
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 -