# Bibliography

[1] Guo, R., Chen, D., Le, J.: Matching semantic web services **across heterogeneous ontologies. In: CIT.**
(2005) 264–268
[2] Noia, T.D., Sciascio, E.D., Donini, F.M., Mongiello, M.: Semantic matchmaking in a p-2-p electronic marketplace. In: SAC. (2003) 582–586
[3] OWL Web Ontology Language: http://www.w3.org/TR/owl-ref/
[4] Web Service Modeling Language: http://www.wsmo.org/wsml/ [5] The Dublin Core Metadata Initiative: http://dublincore.org/
[6] Visser, P.R.S., Jones, D.M., Bench-Capon, T.J.M., Shave, M.J.R.: An analysis of ontology mismatches; heterogeneity versus interoperability. AAAI Spring Symposium on Ontological Engineering (1997)
[7] Castano, S., Ferrara, A., Montanelli, S.: Matching ontologies in open networked systems: Techniques and applications. (2006) 25–63
[8] Hameed, A., Sleeman, D.H., Preece, A.D.: Detecting mismatches among experts' ontologies acquired through knowledge elicitation. Knowl.-Based Syst. 15**(5-6) (2002) 265–273**
[9] Ghosh, P., Dasgupta, P.: A formal method for detecting semantic conflicts in protocols between services with different ontologies. In Meghanathan, N., Boumerdassi, S., Chaki, N., Nagamalai, D., eds.: Recent Trends in Networks and Communications. Volume 90 of Communications in Computer and Information Science., Springer Berlin Heidelberg (2010) 553–562
[10] OAEI Benchmark: http://oaei.ontologymatching.org/2009/benchmarks/ [11] Foster, H., Uchitel, S., Magee, J., Kramer, J.: Compatibility verification for web service choreography. In:
ICWS. (2004) 738–741
[12] Betin-Can, A., Bultan, T., Fu, X.: Design for verification for asynchronously communicating web services.

In: WWW. (2005) 750–759
[13] Zhao, X., Yang, H., Qiu, Z.: Towards the formal model and **verification of web service choreography**
description language. In: WS-FM. (2006) 273–287
[14] Beyer, D., Chakrabarti, A., Henzinger, T.A.: Web service interfaces. In: WWW. (2005) 148–159
[15] Guo, R., Le, J., Xia, X.: Capability matching of web services based on owl-s. In: DEXA Workshops.

(2005) 653–657
[16] Pathak, J., Koul, N., Caragea, D., Honavar, V.: A framework for semantic web services discovery. In:
WIDM. (2005) 45–50
[17] Klusch, M., Fries, B., Sycara, K.P.: Automated semantic web service discovery with owls-mx. In: AAMAS.

(2006) 915–922
[18] Vu, L.H., Hauswirth, M., Aberer, K.: Towards p2p-based **semantic web service discovery with qos support.**
In: Business Process Management Workshops. (2005) 18–31
[19] Klein, M.: Combining and relating ontologies: an analysis of problems and solutions. In: Workshop on Ontologies and Information Sharing, IJCAI'01, Seattle, USA (2001)
[20] Qadir, M.A., Fahad, M., Noshairwan, M.W.: On conceptualization mismatches between ontologies. In:
GrC. (2007) 275–278
[21] Li, C., Ling, T.W.: Owl-based semantic conflicts detection and resolution for data interoperability. In:
ER (Workshops). (2004) 266–277
[22] Calvanese, D., Giacomo, G.D., Lenzerini, M.: A framework for ontology integration, IOS Press (2001)
303–316
[23] Madhavan, J., Bernstein, P.A., Domingos, P., Halevy, A.Y.: Representing and reasoning about mappings between domain models. (2002) 80–86
[24] Noy, N.F., Musen, M.A.: Anchor-prompt: Using non-local context for semantic matching. In: In Proceedings of the Workshop on Ontologies and Information Sharing at the International Joint Conference on Artificial Intelligence (IJCAI. (2001) 63–70
[25] Paurobally, S., Cunningham, J.: Developing agent interaction protocols using graphical and logical methodologies. In: PROMAS, volume 3067 of LNCS, Springer (2003) 149–168
[26] Oluyomi, A., Sterling, L.: A dedicated approach for developing agent interaction protocols. In: PRIMA.

(2004) 162–177 43