Composition of semantic web services using linear logic theorem proving

Information Systems

Volumn 31, Issue 4-5, 2006, Pages 340-360

  Rao, Jinghai ^a   Küngas, Peep ^a   Matskin, Mihhail ^b  

^a NORWEGIAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Norway)

^b ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

Author keywords

Linear Logic Theorem Proving; Semantic Web; Service composition; Web service

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; FORMAL LOGIC; INFORMATION SERVICES; SEMANTICS; THEOREM PROVING;

LINEAR LOGIC THEOREM PROVING; SEMANTIC WEB; SERVICE COMPOSITION; WEB SERVICES;

WORLD WIDE WEB;

EID: 33344466914     PISSN: 03064379     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.is.2005.02.005     Document Type: Article

References (39)

1. T. Bellwood, et al., Universal Description, Discovery and Integration specification (UDDI) 3.0. Online: http://uddi.org/pubs/uddi-v3.00-published- 20020719.htm.
2. R. Chinnici, et al., Web Services Description Language (WSDL) 1.2. Online: http://www.w3.org/TR/wsdl/
3. D. Box, et al. Simple Object Access Protocol (SOAP) 1.1. Online: http://www.w3.org/TR/SOAP/, 2001.
4. D. Martin, et al., DAML-S (and OWL-S) 0.9 draft release. Online: http://www.daml.org/services/daml-s/0.9/, May 2003.
5. T. Andrews, et al. Business Process Execution Language for Web Services (BPEL4WS) 1.1, May 2003.
6. J.-Y. Girard Linear logic Theoret. Comput. Sci. 50 1987 1 102
7. Z. Manna, and R. Waldinger Fundamentals of deductive program synthesis IEEE Trans. Software Eng. 18 8 1992 674 704
8. B.N. Grosof, I. Horrocks, R. Volz, and S. Decker Description logic programs: combining logic programs with Description Logic The 12th International Conference on the World Wide Web (WWW-2003) 2003 Budapest Hungary
9. The DARPA Agent Markup Language homepage. Online: http://www.daml.org.
10. M. Dean, et al., OWL Web Ontology Language 1.0 reference. Online: http://www.w3.org/TR/owl-ref/, July 2002.
11. A. Ankolekar, DAML-S Coalition, DAML-S: Semantic markup for Web serivces, in: Proceedings of the International Semantic Web Workshop, 2001.
12. S. McIlraith, D. Mandell, Comparison of DAML-S and BPEL4WS, Online: http://www.ksl.stanford.edu/-projects/DAML/Webservices/-DAMLS-BPEL.html, Knowledge Systems Lab, Stanford University, September 2002.
13. J.M. Dunn, Relevance logic and entailment, in Handbook of Philosophical Logic, vol. III, D. Reidel Publishing Company, Dordrecht, 1986, pp. 117-224.
14. J. Lambek The mathematics of sentence structure Am. Math. Mon. 65 3 1958 154 170
15. R. Milner, The ployadic pi-calculus: a tutorial, Technical Report, Laboratory for Foundations of Computer Science, University of Edinburgh, October 1991.
16. S. Abramsky Proofs as processes Theoret. Comput. Sci. 135 1 1994 5 9
17. D. Miller, The pi-calculus as a theory in Linear Logic: preliminary results, in: E. Lamma, P. Mello (Eds.), Proceedings of the 1992 Workshop on Extensions to Logic Programming, Lecture Notes in Computer Science, vol. 660, Springer, Berlin, 1993, pp. 242-265.
18. G. Bellin, and P.J. Scott On the pi-calculus and Linear Logic Theoret. Comput. Sci. 135 1 1994 11 65
19. XLANG: Web services for business process design. Online: http://www.gotdotnet.com/team/-xml_wsspecs/xlang-c/default.htm.
20. M. Lumpe, A pi-calculus based approach for software composition, Ph.D. Thesis, Institute of Computer and Applied Mathematics, University of Bern, 1999.
21. D. Brickley, R.V. Guha, RDF Vocabulary Description Language 1.0: RDF Schema. Online: http://www.w3.org/TR/rdf-schema/.
22. I. Horrocks, U. Sattler, S. Tessaris, S. Tobies, How to decide query containment under constraints using a Description Logic, in: Proceedings of LPAR'2000, 2000.
23. Jena - Semantic Web framework for Java. Online: http://jena.sourceforge. net.
24. J.S. Hodas, and D. Miller Logic programming in a fragment of intuitionistic Linear Logic Inform. Comput. 110 2 1994 327 365
25. M. Winikoff, J. Harland, Implementing the Linear Logic programming language Lygon, in: Proceedings of the International Logic Programming Symposium, December 1995, pp. 66-80.
26. F. Casati, S. Ilnicki, and L. Jin Adaptive and dynamic service composition in EFlow Proceedings of 12th International Conference on Advanced Information Systems Engineering (CAiSE) June 2000 Stockholm, Sweden Springer, Berlin
27. H. Schuster, D. Georgakopoulos, A. Cichocki, and D. Baker Modeling and composing service-based and reference process-based multi-enterprise processes Proceedings of 12th International Conference on Advanced Information Systems Engineering (CAiSE), Stockholm, Sweden June 2000 Springer Berlin
28. S. McIlraith, T. Cao Son, Adapting Golog for composition of Semantic Web services, in: Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning(KR2002), Toulouse, France, April 2002.
29. R. Waldinger, Web agents cooperating deductively, in: Proceedings of FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000; Lecture Notes in Computer Science, vol. 1871, Springer, Berlin, 2001, pp. 250-262.
30. Z. Manna, and R.J. Waldinger A deductive approach to program synthesis ACM Trans. Programming Languages Systems 2 1 1980 90 121
31. S. Lämmermann, Runtime service composition via logic-based program synthesis, Ph.D. Thesis, Department of Microelectronics and Information Technology, Royal Institute of Technology, Stockholm, 2002.
32. D. McDermott Estimated-regression planning for interaction with web services Proceedings of the Sixth International Conference on AI Planning and Scheduling, Toulouse, France, April 23-27, 2002 2002 AAAI Press New York
33. D. Wu, B. Parsia, E. Sirin, J. Hendler, D. Nau, Automating DAML-S Web services composition using SHOP2, in: Proceedings of the Second International Semantic Web Conference, ISWC 2003, Sanibel Island, Florida, USA, October 20-23, 2003, 2003.
34. M. Sheshagiri, M. desJardins, T. Finin, A planner for composing services described in DAML-S, in: Proceedings of the AAMAS Workshop on Web Services and Agent-based Engineering, 2003.
35. S. Thakkar, C.A. Knoblock, J.L. Ambite, and C. Shahabi Dynamically composing Web services from on-line sources Proceeding of 2002 AAAI Workshop on Intelligent Service Integration 2002 Edmonton, Alb. Canada
36. S.R. Ponnekanti, A. Fox, SWORD: a developer toolkit for Web service composition, in: The Eleventh World Wide Web Conference, Honolulu, HI, USA, 2002.
37. E. Sirin, J. Hendler, B. Parsia, Semi-automatic composition of Web services using semantic descriptions, in: Web Services: Modeling, Architecture and Infrastructure workshop in conjunction with ICEIS2003, 2002.
38. J.W. Lloyd, and J.C. Shepherdson Partial evaluation in logic programming J. Logic Programming 11 1991 217 242
39. P. Küngas, J. Rao, M. Matskin, Symbolic agent negotiation for Semantic Web service exploitation, in: Proceedings of the Fifth International Conference on Web-Age Information Management, WAIM'2004, Dalian, China, July 2004; Lecture Notes in Computer Science, vol. 3129, 2004, Springer, Berlin, pp. 458-467.