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

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

Volumn , Issue , 2005, Pages 208-213

  Su, Vila ^a,b   Zheng, Lei ^a   Zhong, King ^c   Liu, Chunnian ^a   Liu, Jiming ^d  

^a BEIJING UNIVERSITY OF TECHNOLOGY   (China)

^b INNER MONGOLIA UNIVERSITY OF TECHNOLOGY   (China)

^c MAEBASHI INSTITUTE OF TECHNOLOGY   (Japan)

^d HONG KONG BAPTIST UNIVERSITY   (Hong Kong)

Author keywords

[No Author keywords available]

Indexed keywords

PROBLEM SOLVING;

HORN CLAUSES; PROBLEM SOLVER MARKUP LANGUAGE (PSML); WEB INFERENCE ENGINES;

WORLD WIDE WEB;

EID: 26944437300     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (27)

1. H.P. Alesso and C.F. Smith: The Intelligent Wireless Web, Addison-Wesley, 2002.
2. J.J. Alferes, C.V. Damasio, and L.M. Pereira: Semantic Web Logic Programming Tools. F. Bry et al. (eds.) Principles and Practice of Semantic Web Reasoning, Springer (2003) 16-32.
3. S. Bechhofer, P. Lord, and R. Volz: Cooking the Semantic Web with the OWL API. 2nd International Semantic Web Conference, ISWC, Sanibel Island, Florida, Oct. 2003. http://owl.man.ac.uk/api.shtml.
4. A. Borgida: On the Relative Expressiveness of Description Logics and Predicate Logics. Artificial Intelligence, 82(1-2): 353-367, 1996.
5. W. Cheung, J. Liu, K. Tsang, and H. Wong: Goal-Directed Service Flow Planning Using Metaknowledge on Services, Proc. Second International Workshop on Knowledge Grid and Grid Intelligence, Beijing, China (2004) 123-130.
6. J. Clark: XSL Transformations (XSLT) Version 1.0, http://www.w3.org/TR/xslt.
7. M. Dean, G. Schreiber, S. Bechhofer, F. van Harmelen, J. Hendler, I. Horrocks, D. McGuinness, P. Patel-Schneider, and L. Andrea Stein: OWL Web Ontology Language Reference, http://www.w3.org/TR/2004/RECowl-ref-20040210/.
8. F. Donini, M. Lenzerini, D. Nardi, and A. Schaerf: AL-log: Integrating Datalog and Description Logics. Journal of Intelligent Information Systems, 10: 227-252, 1998.
9. I. Foster and C. Kesselman: The Grid 2: Blueprint for a New Computing Infrastructure, Morgan Kaufmann, 2004.
10. I. Foster, N.R. Jennings, and C. Kesselman: Brain Meets Brawn: Why Grid and Agents Need Each Other. Proc. 3rd International Conference on Autonomous Agents and Multi-Agent Systems, New York, USA (2004) 8-15.
11. B. Grosof, I. Horrocks, R. Volz, and S.Decker: Description Logic Programs: Combining Logic Programs with Description Logic, WWW2003 Foundations of the Semantic Web, ACM Press, NY, USA (2003) 48-57.
12. I. Horrocks, P. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, and M Dean: SWRL: A Semantic Web Rule Language Combining OWL and RuleML, Draft Version 0.7 of 21 Dec. 2004, http://www.daml.org/rules/proposal/.
13. J. Hu, and N. Zhong: Organizing Dynamic Multi-level Workflows on Multi-layer Grids for e-Business Portals Development. Proc. Second International Workshop on Knowledge Grid and Grid Intelligence (2004) 48-56.
14. J. Kang, and J.K. Lee: Extraction of Structured Rules from Web pages and Maintenance of Mutual Consistency: XRML Approach. Ontologies, Rules and Rule Markup Languages for the Semantic Web, LNAI 2876, Springer (2003) 150-163.
15. M. Kifer, G. Lausen, and J. Wu: Logical Foundations of Object-Oriented and Frame-Based Languages. Journal of the ACM, 42: 741-843, 1995.
16. A. Levy and M-C. Rousset: Combining Horn Rules and Description Logics in CARIN. Artificial Intelligence, 104(1-2): 165-209, 1998.
17. C. Liu: A Partial Deduction Procedure Based on Abstract Interpretations. Chinese Journal of Software, 5(11): 31-37, 1994.
18. J. Liu: Web Intelligence (WI): What Makes Wisdom Web? Proc. Eighteenth International Joint Conference on Artificial Intelligence (IJCAI-03) (2003) 1596-1601.
19. J. Liu, X. Jin, and Y. Tang: Multi-agent Collaborative Service and Distributed Problem Solving. Cognitive Systems Research, 5(3): 191-206, Elsevier, 2004.
20. P. Raghavan: Social Networks. From the Web to the Enterprise. IEEE Internet Computing, 6(1): 91-94, 2002.
21. K. Tomita, N. Zhong, and H. Yamauchi: Coupling Global Semantic Web with Local Information Sources for Problem Solving, Proc. First International Workshop on Semantic Web Mining and Reasoning, Beijing, China (2004) 66-74.
22. N. Zhong, J. Liu, and Y.Y. Yao: In Search of the Wisdom Web. IEEE Computer, 35(11): 27-31, 2002.
23. N. Zhong: Toward Web Intelligence, E. Menasalvas et al (eds.) Advances in Web Intelligence, LNAI 2663, Springer (2003) 1-14.
24. N. Zhong, J. Liu, and Y. Y. Yao (eds.) Web Intelligence, Springer, 2003.
25. N. Zhong, J.L. Wu, and C. Liu: Building a Data Mining Grid for Multiple Human Brain Data Analysis. Proc. International Workshop on Knowledge Grid and Grid Intelligence, Halifax, Canada (2003) 29-35.
26. N. Zhong: Developing Intelligent Portals by Using WI Technologies. J.P. Li et al (eds.) Wavelet Analysisand its Applications, and Active Media Technology, 2, World Scientific (2004) 555-567.
27. N. Zhong, and J. Liu (eds.) Intelligent Technologies for Information Analysis, Springer, 2004.