Two-phased web service discovery

AAAI Workshop - Technical Report

Volumn WS-06-01, Issue , 2006, Pages 26-35

  Lara, Ruben ^a  

^a Grupo Analistas   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

DESCRIPTION LOGICS; SEMANTIC DESCRIPTION; SERVICE-ORIENTED ARCHITECTURES; TWO-PHASED WEB;

COMPUTER ARCHITECTURE; CUSTOMER SATISFACTION; FORMAL LOGIC; MATHEMATICAL MODELS; SEMANTICS; WORLD WIDE WEB;

TELECOMMUNICATION SERVICES;

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

References (25)

1. Benatallah, B.; Hacid, M.; Leger, A.; Key, C.; and Toumani, F. 2005. On automating web services discovery. VLDB 14:84-96.
2. de Bruijn, J. (ed.). 2005. The Web Service Modeling Language WSML. WSML d16.1v0.21.
3. Fitting, M. 1996, First order logic and automated theorem proving. Springer Verlag, 2nd edition.
4. Gonzalez-Castillo, J.; Trastour, D.; and Bartolini, C. 2001. Description logics for matchmaking of services. In KI-2001 Workshop on Applications of Description Logics.
5. Grosof, B.; Horrocks, I.; Volz, R.; and Decker, S. 2003. Description logic programs: Combining logic programs with description logic. In 12th International Conference on the World Wide Web (WWW-2003).
6. Heflin, J., and Munoz-Avila, H. 2002. LCW-based agent planning for the semantic web. In AAAI Workshop on Ontologies and the Semantic Web.
7. Horrocks, I., and Patel-Schneider, P. F. 2003. Reduc ing OWL entailment to Description Logic satisfiability. In ISWC2003.
8. Horrocks, I., and Sattler, U. 2002. Optimised Reasoning for SHI Q. In ECAI 2002, 277-281.
9. Horrocks, I.; Persia, B.; Patel-Schneider, P.; and Hendler, J. 2005. Semantic web architecture: stack or two towers? In Principles and Practice of Semantic Web Reasoning.
10. Keller, U.; Lara, R.; Lausen, H.; Polleres, A.; and Fensel, D. 2005. Automatic location of Services. In ES WC 2005.
11. Keller, U.; Lara, R.; Lausen, H.; and Fensel, D. 2006. Semantic Web Services: Theory, Tools and Applications. chapter Semantic Web Service Discovery in the WSMO Framework. To appear.
12. Kifer, M.; Lara, R.; Polleres, A.; Zhao, C.; Keller, U.; Lausen, H.; and Fensel, D. 2004. A Logical Framework for Web Service Discovery. In Semantic Web Services Warshop at ISWC 2004.
13. Kifer, M.; de Bruijn, J.; Boley, H.; and Fensel, D. 2005. A realistic architecture for the semantic web. In RuleML-2005.
14. Lara, R., and Olmedilla, D. 2005. Discovery and Contracting of Semantic Web Services. In W3C Workshop on Frameworks for Semantics in Web Services.
15. Li, L., and Horrocks, I. 2003. A Software Framework for Matchmaking Based on Semantic Web Technology. In WWW'03.
16. Lloyd, J. W. 1987. Foundations of Logic Programming (2nd edition). Springer-Verlag.
17. Nardi, D.; Baader, F.; Calvanese, D.; McGuinness, D. L.; and Patel-Schneider, P. F., eds. 2003. The Description Logic Handbook. Cambridge.
18. Noia, T. D.; Sciascio, E. D.; Donini, F. M.; and Mongiello, M. 2003. A system for principled matchmaking in an electronic marketplace. In Proc. Intl. Conf. on the World Wide Web 2003 (WWW2003).
19. Olmedilla, D.; lara, R.; Polleres, A.; and Lausen, H. 2004. Trust Negotiation for Semantic Web Services. In SWSWPC Workshop at ICWS 2004.
20. Paolucci, M.; Kawamura, T.; Payne, T.; and Sycara, K. 2002. Semantic Matching of Web Service Capabilities. In ISWC, 333-347. Springer Verlag.
21. Preist, C. 2004. A Conceptual Architecture for Semantic Web Services. In ISWC 2004.
22. RacerPro user's guide, version 1.8. Technical report, RACER Systems GmbH & Co. KG.
23. Verma, K.; Sivashanmugam, K.; Sheth, A.; and Patil, A. 2004. METEOR-S WSDI: A Scalable P2P Infrastructure of Registries for Semantic Publication and Discovery of Web Services. Journal of Information Technology and Management.
24. Volz, R. 2004. Web Ontology Reasoning with Logic Databases. Ph.D. Dissertation, AIFB, Karlsruhe.
25. Zaremski, A., and Wing, J. 1997. Specification Matching of Software Components. ACM Transactions on Software Engineering and Methodology (TOSEM) 6:333-369.