Automatic composition of semantic Web services - A theorem proof approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4185 LNCS, Issue , 2006, Pages 481-487

  Ye, Li ^a   Chen, Junliang ^a  

^a BEIJING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS   (China)

Author keywords

Automatic Service Composition; Automatic Theorem Proof; Deductive Program Synthesis; Semantic Web Services

Indexed keywords

COMPUTATION THEORY; INPUT OUTPUT PROGRAMS; SEMANTICS; SOFTWARE PROTOTYPING; THEOREM PROVING;

AUTOMATIC THEOREM PROVER (ATP); FIRST ORDER LOGIC (FOL); PROGRAM SYNTHESIS THEORY;

WORLD WIDE WEB;

EID: 33750261095     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11836025_46     Document Type: Conference Paper

References (14)

1. Antoniou, G. & Harmelen, F.v.: A Semantic Web Primer. The MIT Press. 2004.
2. Lassila, O. & Swick, R. R.: Resource Description Framework(RDF) model and syntax specification, W3C recommendation. On-line: http://www.w3.org/TR/ 1999 /REC-rdf-syntax-19990222/, February 1999
3. Dean, M. et al.: OWL Web Ontology Language 1.0 reference, W3C recommendation. On-line: http://www.w3.org/TR/owl-ref/, July 2002.
4. Box, D. et al.: Simple Object Access Protocol (SOAP) 1.1, W3C recommendation. On-line: http://www.w3.org/TR/SOAP/, 2001.
5. McIlraith, S.A.; Son, T.C. & Zeng, H.: Semantic Web Services. IEEE Intelligent Systems, March 2001, 16, 46-53.
6. Rao, J.: Semantic Web Service Composition via Logic-based Program Synthesis. PhD thesis, Norwegian University of Science and Technology, 2004.
7. Girard, J.-Y.: Linear Logic. Theoretical Computer Science, 1987, 50:1-102.
8. Milner, R. & Parrow, J. & Walker, D.: A Calculus of Mobile Processes. Computer Science Department, University of Edinburgh, June 1989.
9. Mcllraith, S. & Son, T. C.: Adapting Golog for composition of Semantic Web services. In Proceedings of the 8th International Conference on Knowledge Representation and Reasoning(KR2002), April 2002.
10. Manna, Z. & Waldinger, R.: Fundamentals of deductive program synthesis. IEEE Transactions on Software Engineering, 1992, 18, 674-704.
11. Otter: An Automated Deduction System. On-line: http://www-unix.mcs.anl. gov /AR/otter/.
12. Baader, F. & Calvanese, D. & McGuinness, D. & Nardi, D. & Patel-Schneider, P. & eds.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2002.
13. Bibel, W. & Schmitt, P.: Automated Deduction: a Basis for Applications. Kluwer, volume 810.
14. Bundy, A. & Harmelen, F. V. & Horn, C. & Smaill, A.: The Oyster-Clam System. Proceedings of the 10th International Conference on Automated Design, 1990, Springer-Verlag, LNAI 449, 647-648.