Abstract
The protocol between a web service and its client may lead to semantically inconsistent results if the ontologies used by the server and client are different. Given that the web is growing in a mostly uncoordinated way, it is unrealistic to expect that web services will adhere to standardized ontologies in near future. In this paper we show that if the client publishes its ontology and presents the protocol it intends to follow with a web service, then the web server can perform a semantic verification step to determine formally whether any of the possible executions of the protocol may lead to a semantic conflict arising out of the differences in their ontologies. We believe that this an approach which enables a web-server to automatically verify the semantic compatibility of a client with the service it offers before it actually allows the client to execute the protocol. We model the ontologies as graphs and present a graph based search algorithm to determine whether the protocol can possibly reach a conflict state.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Guo, R., Chen, D., Le, J.: Matching semantic web services across heterogeneous ontologies. In: CIT, pp. 264–268 (2005)
Noia, T.D., Sciascio, E.D., Donini, F.M., Mongiello, M.: Semantic matchmaking in a p-2-p electronic marketplace. In: Matsui, M., Zuccherato, R.J. (eds.) SAC 2003. LNCS, vol. 3006, pp. 582–586. Springer, Heidelberg (2004)
OWL Web Ontology Language, http://www.w3.org/TR/owl-ref/
Web Service Modeling Language, http://www.wsmo.org/wsml/
The Dublin Core Metadata Initiative, http://dublincore.org/
Visser, P.R.S., Jones, D.M., Bench-Capon, T.J.M., Shave, M.J.R.: An analysis of ontology mismatches; heterogeneity versus interoperability. In: AAAI Spring Symposium on Ontological Engineering (1997)
Castano, S., Ferrara, A., Montanelli, S.: Matching ontologies in open networked systems: Techniques and applications, pp. 25–63 (2006)
OAEI Benchmark, http://oaei.ontologymatching.org/2009/benchmarks/
Klein, M.: Combining and relating ontologies: an analysis of problems and solutions. In: Workshop on Ontologies and Information Sharing, IJCAI 2001, Seattle, USA (2001)
Qadir, M.A., Fahad, M., Noshairwan, M.W.: On conceptualization mismatches between ontologies. In: GrC, pp. 275–278 (2007)
Li, C., Ling, T.W.: Owl-based semantic conflicts detection and resolution for data interoperability. In: ER (Workshops), pp. 266–277 (2004)
Calvanese, D., Giacomo, G.D., Lenzerini, M.: A framework for ontology integration, pp. 303–316. IOS Press, Amsterdam (2001)
Madhavan, J., Bernstein, P.A., Domingos, P., Halevy, A.Y.: Representing and reasoning about mappings between domain models, pp. 80–86 (2002)
Noy, N.F., Musen, M.A.: Anchor-prompt: Using non-local context for semantic matching. In: Proceedings of the Workshop on Ontologies and Information Sharing at the International Joint Conference on Artificial Intelligence (IJCAI), pp. 63–70 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ghosh, P., Dasgupta, P. (2010). 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. WeST VLSI NeCoM ASUC WiMoN 2010 2010 2010 2010 2010. Communications in Computer and Information Science, vol 90. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14493-6_57
Download citation
DOI: https://doi.org/10.1007/978-3-642-14493-6_57
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14492-9
Online ISBN: 978-3-642-14493-6
eBook Packages: Computer ScienceComputer Science (R0)