A flexible model for locating services on the web

International Journal of Electronic Commerce

Volumn 12, Issue 2, 2007, Pages 11-40

  Lara, Rubén ^a   Corella, Miguel Ángel ^b   Castells, Pablo ^b  

^a TIF ^*

^b UNIVERSIDAD AUTÓNOMA DE MADRID   (Spain)

Author keywords

Ontologies; Semantic web; Service discovery; Service modeling; SOA

Indexed keywords

EID: 35648934281     PISSN: 10864415     EISSN: None     Source Type: Journal    
DOI: 10.2753/JEC1086-4415120201     Document Type: Article

References (31)

1. Battle, S.; Bernstein, A.; Boley, H.; Grosof, B.; Gruninger, M.; Hull, R.; Kifer, M.; Martin, D.; McIlraith, S.; McGuinness, D.; Su, J.; and Tabet, S. Semantic Web Services Framework (SWSF) overview. W3C submission, September 2005 (www.w3.org/Submission/SWSF).
2. Bechhofer, S.; van Harmelen, F.; Hendler, J.; Horrocks, I.; McGuinness, D.; Patel-Schneider, P.F.; and Stein, L.A. OWL Web Ontology Language Reference. W3C Recommendation, February 2004 (www.w3.org/TR/owl-ref).
3. Benatallah, B.; Hacid, M.; Leger, A.; Rey, C.; and Toumani, F. On automating Web services discovery. International Journal on Very Large Data Bases, 14, 1 (March 2005), 84-96.
4. Bonner A.J., and Kifer, M. Transaction logic programming (or, a logic of procedural and declarative knowledge). Technical Report CSRI-323. Toronto: University of Toronto, Computer Systems Research Institute, November 1995 (http://citeseer.ifi.uzh.ch/cache/papers/cs/1409/ ftp:zSzzSzftp.cs.sunysb.eduzSzpubzSzTechReportszSzkiferzSztransaction- logic.pdf/bonner95transaction.pdf).
5. Christensen, E.; Curbera, F.; Meredith, G.; and Weerawarana, S. Web Services Description Language (WSDL) 1.1. W3C Note, March 2001 (www.w3.org/TR/wsdl).
6. Clement, L.; Hately, A.; von Riegen, C; and Rogers, T. (eds.). UDDI Version 3.0.2, October 2004 (http://uddi.org/pubs/uddi_v3.htm).
7. Colucci, S., Di Noia, T.; Di Sciascio, E.; Donini, F.M.; and Mongiello, M. Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in a e-marketplace. Electronic Commerce Research and Applications, 4, 4 (2005), 345-361 (http:// sisinflab.poliba.it/publications/2005/CDDDM05/ extended_matchmaking_ecra.pdf).
8. DAML Services Coalition. OWL-S 1.1 Release, November 2004 (www.daml.org/services/owl-s/1.1).
9. Dantsin, E.; Eiter, T.; Gottlob, G.; and Voronkov, A. Complexity and expressive power of logic programming. ACM Computing Surveys (CSUR), 33, 3 (2001), 347-425 (http://logic.pdmi.ras.ru/~dantsin/ps/ DEGV01.ps).
10. de Bruijn, J.; Bussler, C.; Domingue, J.; Fensel, D.; Hepp, M.; Keller, U.; Kifer, M.; Koenig-Ries, B.; Kopecky, J.; Lara, R.; Lausen, H.; Oren, E.; Polleres, A.; Roman, D.; Scicluna, J.; and Stollberg, M. Web Service Modeling Ontology (WSMO). W3C submission, June 2005 (www.w3.org/Submission/WSMO).
11. de Bruijn, J. (ed.). The Web service modeling language WSML. WSML Working Draft d16.1v0.21, September 2005 (www.wsmo.org/TR/d16/d16.1/ v0.21/20050923).
12. Dong, X.; Halevy, A.Y; Madhavan, J.; Nemes, E.; and Zhang, J. Similarity search for Web services. In M.A. Nascimento, M.T. Özsu, D. Kossmann, R.J. Miller, J.A. Blakeley, and K.B. Schiefer (eds.), Proceedings of the Thirtieth International Conference on Very Large Data Bases. San Francisco: Morgan Kaufmann, 2004, pp. 372-383 (www.vldb.org/conf/2004/ RS10P1.PDF).
13. Fitting. M. First-Order Logic and Automated Theorem Proving. New York: Springer Verlag, 1996.
14. Grosof, B.; Horrocks, I.; Volz, R.; and Decker, S. Description logic programs: Combining logic programs with description logic. In Proceedings of the Twelfth International World Wide Web Conference. New York: ACM Press, 2003, pp. 48-57 (http://www2003.org /cdrom/papers/refereed/p117/p117-grosof.html).
15. Haarslev, V., and Moeller, R. RACER system description. In R. Goré, A. Leitsch, and T. Nipkow (eds.), International Joint Conference on Automated Reasoning. Berlin: Springer-Verlag, 2001, pp. 701-705 (http://users.encs.concordia.ca/~haarslev/publications/ ijcar-2001-racer.pdf).
16. Horrocks, I., and Sattler, U. Optimised reasoning for SHIQ. In F. van Harmelen (ed.), Proceedings of the Fifteenth European Conference on Artificial Intelligence. Amsterdam: IOS Press, 2002, pp. 277-281 (http://lat.inf.tudresden.de/research/papers/2002/ HorrocksSattler-ECAI2002.ps.gz).
17. Hull, D.; Zolin, E.; Bovykin, A.; Horrocks, I.; Sattler, U.; and Stevens, R. Deciding semantic matching of stateless services. In Proceedings of the Twenty-first National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference. Boston: AAAI Press, 2006 (www.cs.man.ac.uk/ ~hulld/papers/HZBH+06.pdf).
18. Keller, U.; Lara, R.; Lausen, H.; Polleres, A.; and Fensel, D. Automatic location of services. In A. Gómez-Pérez and J. Euzenat (eds.), The Semantic Web: Research and Applications; Second European Semantic Web Conference. Heidelberg: Springer, 2005, pp. 1-16 (http: //dip.semanticweb.org/documents/ eswc2005-automatic-location-of-services.pdf).
19. Kifer, M.; Lara, R.; Polleres, A.; Zhao, C.; Keller, U.; Lausen, H.; and Fensel, D. A logical framework for Web service discovery. In D. Martin, R. Lara, and T. Yamaguchi (eds.), ISWC 2004 Workshop on Semantic Web Services: Preparing to Meet the World of Business Applications, CEUR Workshop proceedings, vol. 119,2004 (http:// sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-119/ paper3.pdf).
20. Klusch, M.; Fries, B.; and Sycara, K. Automated Semantic Web service discovery with OWLS-MX. In H. Nakashima, M.P. Wellman, G. Weiss, and P. Stone (eds.), Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems. New York: ACM Press, 2006, pp. 915-922 (www-ags.dfki.uni-sb.de/~klusch/i2a/ owlsmx-06-final.pdf).
21. Lara, R. Two-phased Web service discovery. In P. Doshi, R. Goodwin, and A. Sheth (eds.), AI-driven technologies for services-oriented computing: Papers from the AAAI Workshop, Technical Report WS-06-01. American Association for Artificial Intelligence, 2006, pp. 26-36 (www.tifbrewery.com/tifBrewery/publications/WS0601LaraR.pdf).
22. Li, L., and Horrocks, I. A software framework for matchmaking based on Semantic Web technology. International Journal of Electronic Commerce, 8, 4 (2004), 39-60 (www.cs.man.ac.uk/~lil/papers/ijec.pdf).
23. Lloyd, J.W. Foundations of Logic Programming, 2d ed. New York: Springer-Verlag, 1987.
24. Lutz, C. An improved nexptime-hardness result for description logic ALC extended with inverse roles, nominals and countins. Technical report, Technical University of Dresden, 2004 (www.cs.man.ac.uk/~ezolin /logic/ navigator/ps/Improved_NExpTime↔rdness∀r_ALCFIO.ps.zip).
25. MacKenzie, C.M.; Laskey, K.; McCabe, F.; Brown, P.; and Metz, R. (eds.). Reference Model for Service Oriented Architecture 1.0. Technical report, OASIS, 2006 (www.oasis-open.org/committees/download.php/16628/ wd-soa-rm-pr1.pdf).
26. Nardi, D.; Baader, F.; Calvanese, D.; McGuinness, D.; and Patel-Schneider, P.F. (eds.), The Description Logic Handbook. Cambridge: Cambridge University Press, 2003.
27. Di Noia, T.; Di Sciascio, E.; Donini, F. M.; and Mogiello, M. A system for principled matchmaking in an electronic marketplace. International Journal of Electronic Commerce, 8, 4 (2004), 9-37.
28. Paolucci, M.; Kawamura, T.; Payne, T.; and Sycara, K. Semantic matching of Web service capabilities. In I. Horrocks and J.A. Hendler (eds.), The Semantic Web - ISWC 2002, First International Semantic Web Conference. Heidelberg: Springer, 2002, pp. 333-347 (http:// eprints.ecs.soton.ac.uk/7606/01/ISWC2002-Matchmaker.pdf).
29. Roman, D.; Keller, U.; Lausen, H.; de Bruijn, J.; Lara, R.; Stollberg, M.; Polleres, A.; Feier, C.; Bussler, C; and Fensel, D. Web service modeling ontology. Applied Ontology Journal, 1, 1 (2005), 77-106 (http://iospress.metapress.com/media/84v16ctqqh4yrk14gp81/contributions/ d/c/c/b/dccb867p347xxebx.pdf).
30. Srinivasan, N.; Paolucci, M.; and Sycara, K. Adding OWL-S to UDDI, implementation and throughput. In J. Cardoso and A.P. Sheth (eds.), Proceedings of the First International Workshop on Semantic Web Services and Web Process Composition. Heidelberg: Springer 2004 (www.cs.cmu.edu/~softagents/papers/cr-swsws-paper.pdf).
31. Sycara, K.; Widoff, S.; Klusch, M.; and Lu, J. LARKS: Dynamic matchmaking among heterogeneous software agents in cyberspace. Autonomous Agents and Multi-Agent Systems, 5, 2 (2002), 173-203 (www.cs.cmu.edu/~softagents/papers/LARKS.pdf).