Semantic matchmaking of web resources with local closed-world reasoning

International Journal of Electronic Commerce

Volumn 12, Issue 2, 2007, Pages 89-126

  Grimm, Stephan ^a   Hitzler, Pascal ^b  

^a FZI Research Center for Information Technology   (United States)

^b UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

Autoepistemic DLs; Circumscriptive DLs; Local closed world assumption; Matchmaking; OWL; Semantic Web

Indexed keywords

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

References (30)

1. Baader, F., and Hollunder, B. Embedding defaults into terminological knowledge representation formalisms. Journal of Automated Reasoning, 14, 1 (1995), 149-180 (http://citeseer.ifi.uzh.ch/cache/papers/cs/ 1242/ftp:zSzzSzwww-lti.informatik.rwth-aachen. dezSzpubzSzpaperszSz1993zSzDFKI-RR-93-20.pdf/baader95embedding.pdf).
2. Baader, F.; Calvanese, D.; McGuinness, D.; Nardi, D.; and Patel-Schneider, P. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge: Cambridge University Press, 2003.
3. Baader, F.; Lutz, C.; Milicic, M.; Sattler, U.; and Wolter, F. A description logic based approach to reasoning about Web services. In C. Bussler et al. (eds.), Proceedings of the WWW 2005 Workshop on Web Service Semantics. Chiba, Japan, 2005 (www.ai.sri.com/WSS2005/ final-versions/WS52005-Baader-Final.pdf).
4. Benatallah, B.; Hacid, M.-S.; Rey, C.; and Toumani, F. Request rewriting-based Web service discovery. In D. Fensel, K. Sycara, and J. Mylopoulos (eds.), Proceedings of the 2nd International Semantic Web Conference. Berlin: Springer, 2003, pp. 242-257 (www.isima.fr/rey/ rapport_these/ISWC03.pdf).
5. Berners-Lee, T.; Hendler, J.; and Lassila, O. The Semantic Web. Scientific American, 284, 5 (2001), 34-43 (www.sciam.com/ article.cfm?articleID=00048144-10D20-1C70-84A9809EC588EF21).
6. Bonatti, P. Towards service description logics. In S. Flesca et al. (eds.), Proceedings of the European Conference on Logics in Artificial Intelligence. London: Springer-Verlag, 2002, pp. 74-85.
7. Bonatti, P.; Lutz, C.; and Wolter, F. Description logics with circumscription. In P. Doherty, J. Mylopoulos, and C. Welty (eds.), Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning. Menlo Park, CA: AAAI Press, 2006, pp. 400-410 (http://lat.inf.tu-dresden.de/~clu/papers/archive/ kr06b.pdf).
8. Cali, A.; Calvanese, D.; Colucci, S.; Di Noia, T.; and Donini, F.M. A description logic based approach for matching user profiles. In V. Haarslev and R. Möller (eds.), Proceedings of the Seventeenth International Workshop on Description Logics, vol. 104. Aachen: CEUR Workshop Proceedings, 2004 (http://sunsite.informatik.rwth-aachen.de/ Publications/CEUR-WS/Vol-104/13Cali-final.pdf).
9. Colucci, S.; Di Noia, T; Di Sciascio, E.; Mongiello, M.; and Donini, F.M. Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace. In M. Janssen et al. (eds.), Proceedings of the Sixth International Conference on Electronic Commerce. New York: ACM Press, 2004, pp. 41-50 (http:// sisinflab.poliba.it/publications/2005/CDDDM05/ extended_matchmaking_ecra.pdf).
10. 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.
11. Di Sciascio, E.; Donini, F.M.; Mongiello, M.; and Piscitelli, G. A knowledge based system for person-to-person e-commerce. In G. Görz et al. (eds.), Proceedings of the KI-2001 Workshop on Applications of Description Logics, vol. 44. Aachen: CEUR Workshop Proceedings, 2001 (http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-44/ diSciascio_et_al.ps.gz).
12. Donini, F.M.; Nardi, D.; and Rosati, R. Description logics of minimal knowledge and negation as failure. ACM Transactions on Computational Logic, 3, 2 (2002), 177-225.
13. Donini, F.M.; Lenzerini, M.; Nardi, D.; Nutt, W.; and Schaerf, A. An epistemic operator for description logics. Artificial Intelligence, 100, 1-2 (1998), 225-274.
14. Eiter, T.; Ianni, G.; Schindlauer, R.; and Tompits, H. Effective integration of declarative rules with external evaluations for Semantic Web reasoning. In Y. Sure and J. Domingue (eds.), Proceedings of the Third European Semantic Web Conference. Lecture Notes in Computer Science, vol. 4011. Budva, Montenegro: Springer, 2006, pp. 273-287.
15. Etzioni, O.; Golden, K.; and Weld, D. Tractable closed world reasoning with updates. In E. Sandewall and P. Torasso (eds.), Proceedings of the Fourth International Conference on Knowledge Representation and Reasoning. San Francisco: Morgan Kaufmann, 1994, pp. 178-189 (www.cs.washington.edu/homes/weld/papers/tr94-01-02.pdf).
16. Gonzalez-Castillo, J.; Trastour, D.; and Bartolini, C. Description logics for matchmaking of services. In G. Görz et al. (eds.), Proceedings of the KI-2001 Workshop on Applications of Description Logics, vol. 44. Aachen: CEUR Workshop Proceedings, 2001 (http:// sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-44/ Gonzales-Castillo-et-al.ps.gz).
17. Grimm, S. Intersection-based matchmaking for Semantic Web service discovery. In Proceedings of the Second International Conference on Internet and Web Applications and Services. Los Alamitos, CA: IEEE Computer Society, 2007, pp. 14-20.
18. Grimm, S., and Motik, B. Closed world reasoning in the semantic web through epistemic operators. In B. Cuenca Grau, I. Horrocks, B. Parsia, and P. Patel-Schneider (eds.), Workshop Proceedings OWL: Experiences and Directions, vol. 188. Aachen: CEUR Workshop Proceedings, 2005 (http://sunsite. informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-188/ sub12.pdf).
19. Grimm, S.; Motik, B.; and Preist, C. Variance in e-business service discovery. In D. Martin, R. Lara, and T. Yamaguchi (eds.), Proceedings of the First International Workshop on Semantic Web Services: Preparing to Meet the World of Business Applications, vol. 109. Aachen: CEUR Workshop Proceedings, 2004 (http:// sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-119/ paper2.pdf).
20. Grimm, S.; Motik, B.; and Preist, C. Matching semantic service descriptions with local closed-world reasoning. In Y. Sure and J. Domingue (eds.), Proceedings of the Third European Semantic Web Conference. Lecture Notes in Computer Science, vol. 4011. Budva, Montenegro: Springer, 2006, pp. 575-589 (http://dip.semanticweb.org/ documents/GRIMM-Matching-Semantic- Service-Descriptions-with-Local-Closed-World-Reasoning.pdf).
21. 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. Boston: AAAI Press, 2006, pp. 1319-1324 (www.cs.man.ac.uk/~hulld/papers/HZBH+06.pdf).
22. Lei, 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. McCarthy, J. Circumscription - A form of non-monotonic reasoning. Artificial Intelligence, 13, 1-2 (1980), 27-39 (www.elsevier.com/ authored_subject_sections/P05/pdf/bf3.pdf).
24. Moore, R. Semantical considerations on nonmonotonic logic. Artificial Intelligence, 25, 1 (1985), 75-94.
25. Motik, B., and Rosati, R. A faithful integration of description logics with logic programming. In M. Veloso (ed.), Proceedings of the Twentieth International Joint Conference on Artificial Intelligence. Hyderabad, India: Morgan Kaufmann, 2007, pp. 477-482 (www.cs.man.ac.uk/ ~bmotik/publications/papers/mr07dl-and-lp.pdf).
26. Paolucci, M.; Kawamura, T.; Payne, T.; and Sycara, K. Semantic matching of Web service capabilities. In I. Horrocks and J.A. Hendler (eds.), Proceedings of the First International Semantic Web Conference. Berlin: Springer, 2002, pp. 333-347 (http://citeseer.ist.psu.edu/cache/ papers/cs/27767/ http:zSzzSzwww.ecs.soton.ac.ukzSz~trpzSzPubszSzISWC2002-Matchmaker.pdf/ paolucci02semantic.pdf).
27. Patel-Schneider, P.; Hayes, P.; Horrocks, I.; and van Harmelen, F. OWL Web ontology language; semantics and abstract syntax, W3C candidate recommendation, 2002 (www.w3.org/TR/owl-semantics).
28. Preist, C.; Esplugas-Cuadrado, J.; Battle, S.; Grimm, S.; and Williams, S. Automated business-to-business integration of a logistics supply chain using Semantic Web services technology. In Y. Gil et al. (eds.), Proceedings of the Fourth International Semantic Web Conference. Berlin: Springer, 2005, pp. 987-1001 (www-kasm.nii.ac.jp/~i2k/tmp/ iswc2005/papers/3729/37290987.pdf).
29. Rosati, R. Autoepistemic description logics. AI Communications, 11, 3-4 (1998), 219-221.
30. Trastour, D.; Bartolini, C.; and Preist, C. Semantic Web support for the business-to-business e-commerce lifecycle. In Proceedings of the Eleventh International Conference on World Wide Web. New York: ACM Press, 2002, pp. 89-98 (www2002.org/CDROM/refereed/211).