A Knowledge Markup Language and Distributed Theorem Proving
This paper mainly focuses on the following two issues: the knowledge and problems representation on the Web, and how a theorem-proving system can provide users on the Web with theorem-proving Web services. As to the first issue, we propose MSKML (Many-Sorted Knowledge Markup Language) as the language for knowledge and problems representation on the Web; as to the second, the theorem-proving server provides Web users with theorem-proving services through the SOAP (Simple Object Access Protocol). When a client on the Web need the theorem-proving services, it represents the problem as a XML (Extensible Markup Language) file conforming to the MSKML DTD (Document Type Definition) and sends a SOAP request message including the XML file to the theorem-proving server, and the theorem-proving server represents the solution as a XML file conforming to the MSKML DTD and send it back to the client as the SOAP response message.
Knowledge Markup Distributed Theorem Proving Web Services XML SOAP
Zhengquan Xu Jiabing Wang Nengchao Wang
School of Computer Science, Huazhong University of Science and Technology, Wuhan, 430074 P.R.China Institute of Parallel Computing, Huazhong University of Science and Technology, Wuhan, 430074 P.R.Ch
国际会议
成都
英文
127-131
2003-08-27（万方平台首次上网日期，不代表论文的发表时间）