Abstract
In open, dynamic and distributed systems, it is unrealistic to assume that autonomous agents or peers are committed to a common way of expressing their knowledge, in terms of one or more ontologies modelling the domain of interest. Thus, before any kind of communication or cooperation, agents must reach an agreement on the meaning of the terms they use for structuring information, conceptualizing the world, or representing distinct entities. Over the years several approaches have been proposed for semantic agreement driven by ontology matching in a distributed setting: argumentation-based models, constraint satisfaction methods and probabilistic models. The aim of this chapter is to present a brief overview of the state-of-the-art on these approaches and discuss the main open issues and challenges for future research. We firstly introduce the ontology matching process for semantic agreements and the notion of argumentation frameworks, and then we present scenarios applying such frameworks. Next, we specify the problem of synthesizing different matching methods as a constraint optimization problem and show the benefits of this approach and we present an approach for peers organized in arbitrary networks to reach semantic agreement on their correspondences. Finally, we discuss some open issues and future research directions for semantic agreement based on ontology matching.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
AUML – Agent Unified Modelling Language.
- 2.
Subsequently we assume r to be the equivalence (\(\equiv \)) relation and we also simplify the presentation of correspondence histories by not specifying the correspondence relation and confidence degree for each pair of ontology elements.
References
Amgoud, L., and C. Cayrol. 1998. On the acceptability of arguments in preference-based argumentation. In Proceedings of the 14th conference on uncertainty in artificial intelligence, 1–7. San Francisco: Morgan Kaufmann.
Baronchelli, A., M. Felici, E. Caglioti, V. Loreto, and L. Steels. 2005. Sharp transition towards shared vocabularies in multi-agent systems. Statistical Mechanics 6014: 0509075.
Bench-Capon, T. 2003. Persuasion in practical argument using value-based argumentation frameworks. Journal of Logic and Computation 13(3): 429–448.
Cudré-Mauroux, P., K. Aberer, and A. Feher. 2006. Probabilistic message passing in peer data management systems. In Proceedings of the 22nd international conference on data engineering, ICDE ’06, 41. Washington, DC: IEEE Computer Society. doi:http://dx.doi.org/10.1109/ICDE.2006.118, http://dx.doi.org/10.1109/ICDE.2006.118.
Cudré-Mauroux, P., P. Haghani, M. Jost, K. Aberer, and H. De Meer. 2009. Idmesh: graph-based disambiguation of linked data. In Proceedings of the 18th international conference on World Wide Web, WWW ’09, 591–600. New York: ACM. doi:http://doi.acm.org/10.1145/1526709.1526789, http://doi.acm.org/10.1145/1526709.1526789.
Doran, P., V. Tamma, T. Payne, and I. Palmisano. 2009. Dynamic selection of ontological alignments: A space reduction mechanism. In Proceedings of the international joint conference on artificial intelligence, Pasadena. http://www.aaai.org/ocs/index.php/IJCAI/IJCAI-09/paper/view/551.
Doran, P., V. Tamma, I. Palmisano, and T.R. Payne. 2009. Efficient argumentation over ontology correspondences. In Proceedings of the 8th international conference on autonomous agents and multiagent systems, 1241–1242. Richland: International Foundation for Autonomous Agents and Multiagent Systems.
Doran, P., T.R. Payne, V.A.M. Tamma, and I. Palmisano. 2010. Deciding agent orientation on ontology mappings. In Proceedings of the international semantic web conference (1), Lecture notes in computer science, vol. 6496, ed. P.F. Patel-Schneider, Y. Pan, P. Hitzler, P. Mika, L. Zhang, J.Z. Pan, I. Horrocks and B. Glimm, 161–176. Berlin: Springer.
dos Santos, C.T., P. Quaresma, and R. Vieira. 2008. Conjunctive queries for ontology based agent communication in MAS. In AAMAS (2), Estoril, ed. L. Padgham, D.C. Parkes, J.P. Müller and S. Parsons, 829–836. IFAAMAS.
Dung, P. 1995. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n–person games. Artificial Intelligence 77(2): 321–357
Euzenat, J. 2004. An API for ontology alignment. In Proceedings of the 3rd international semantic web conference, Hiroshima, 698–7112.
Euzenat, J., and P. Shvaiko. 2007. Ontology matching. Heidelberg: Springer.
Euzenat, J., M. Mochol, P. Shvaiko, H. Stuckenschmidt, O. Svab, V. Svatek, W.R. van Hage, and M. Yatskevich. 2006. Results of the ontology alignment evaluation initiative 2006. In Proceedings of the first international workshop on ontology matching, Athens.
Farinelli, A., A. Rogers, A. Petcu, and N.R. Jennings. 2008. Decentralised coordination of low-power embedded devices using the max-sum algorithm. In Proceedings of the 7th international joint conference on autonomous agents and multiagent systems – vol. 2, AAMAS ’08, 639–646. Richland: International Foundation for Autonomous Agents and Multiagent Systems. http://dl.acm.org/citation.cfm?id=1402298.1402313.
Fipa standard. 2002. FIPA: Contract net interaction protocol specification. http://www.fipa.org/specs/fipa00029/SC00029H.pdf.
Haase, P., and B. Motik. 2005. A mapping system for the integration of owl-dl ontologies. In Proceedings of the IHIS, ed. A. Hahn, S. Abels and L. Haak, 9–16. New York: ACM.
Isaac, A., C.T. dos Santos, S. Wang, P. Quaresma. 2008. Using quantitative aspects of alignment generation for argumentation on mappings. In Proceedings of the OM, Karlsruhe.
Jiménez-Ruiz, E., B. Cuenca Grau, I. Horrocks, and R. Berlanga. 2009. Ontology integration using mappings: Towards getting the right logical consequences. In Proceedings of the 6th European semantic web conference on the semantic web: Research and applications, ESWC 2009, Heraklion, 173–187. Berlin/Heidelberg: Springer. doi:http://dx.doi.org/10.1007/978-3-642-02121-3_16, http://dx.doi.org/10.1007/978-3-642-02121-3_16.
Kschischang, F.R., B.J. Frey, and H.A. Loeliger. 1998. Factor graphs and the sum-product algorithm. IEEE Transactions on Information Theory 47: 498–519.
Laera, L., V. Tamma, J. Euzenat, T. Bench-Capon, and T.R. Payne. 2006. Reaching agreement over ontology alignments. In Proceedings of the 5th international semantic web conference, Lecture notes in computer science, vol. 4273/2006, 371–384. Berlin/Heidelberg: Springer. doi:10.1007/11926078.
Laera, L., I. Blacoe, V. Tamma, T. Payne, J. Euzenat, and T. Bench-Capon. 2007. Argumentation over ontology correspondences in MAS. In Proceedings of the 6th international joint conference on autonomous agents and multiagent systems, 1–8. New York: ACM. doi:http://doi.acm.org/10.1145/1329125.1329400.
Loeliger, H.A. 2004. An introduction to factor graphs. IEEE Signal Processing Magazine 21: 28–41.
Meilicke, C., and H. Stuckenschmidt. 2009. An efficient method for computing alignment diagnoses. In Proceedings of the 3rd international conference on web reasoning and rule systems, RR ’09, 182–196. Berlin/Heidelberg: Springer. doi:http://dx.doi.org/10.1007/978-3-642-05082-4_13, http://dx.doi.org/10.1007/978-3-642-05082-4_13.
Meilicke, C., H. Stuckenschmidt, and A. Tamilin. 2009. Reasoning support for mapping revision. Journal of logic and computation 19(5): 807–829.
Morge, M., J.C. Routier, Y. Secq, and T. Dujardin. 2006. A formal framework for inter-agents dialogue to reach an agreement about a representation. In Proceedings of the 6th workshop on computational models of natural argument (CNMA), August 2006, ed. R. Ferrario, N. Guarino and L. Prevot, 1–6. Riva del Garda.
Qi, G., Q. Ji, and P. Haase. 2009. A conflict-based operator for mapping revision. In Proceedings of the 8th international semantic web conference, ISWC ’09, 521–536. Berlin/Heidelberg: Springer. doi:http://dx.doi.org/10.1007/978-3-642-04930-9_33, http://dx.doi.org/10.1007/978-3-642-04930-9_33
Reitter, D., and C. Lebiere. 2011. How groups develop a specialized domain vocabulary: A cognitive multi-agent model. Cognitive Systems Research 12(2): 175–185.
Sensoy, M., and P. Yolum. 2009. Evolving service semantics cooperatively: A consumer-driven approach. Autonomous Agents and Multi-Agent Systems 18: 526–555. doi:10.1007/s10458-008-9071-8, http://dl.acm.org/citation.cfm?id=1504399.1504428.
Spiliopoulos, V., and G.A. Vouros. 2012. Synthesizing ontology alignment methods using the max-sum algorithm. IEEE Transactions on Knowledge and Data Engineering 24(5): 940–951. doi:http://doi.ieeecomputersociety.org/10.1109/TKDE.2011.42.
Spiliopoulos, V., G. Vouros, and V. Karkaletsis. 2011. On the discovery of subsumption relations for the alignment of ontologies. Web Semantics: Science, Services and Agents on the World Wide Web 8(1): 69–88. http://www.websemanticsjournal.org/index.php/ps/article/view/175.
Trojahn, C., and J. Euzenat. 2010. Consistency-driven argumentation for alignment agreement. In Proceedings of the fifth international workshop on ontology matching (OM-2010) collocated with the 9th international semantic web conference (ISWC-2010), Shanghai.
Trojahn, C., P. Quaresma, R. Vieira, and M. Moraes. 2008. A cooperative approach for composite ontology mapping. LNCS Journal on Data Semantic X (JoDS) 4900(1): 237–263. doi:10.1007/978-3-540-77688-8.
Trojahn, C., J. Euzenat, T. Payne, and V. Tamma. 2011. Argumentation for reconciling agent ontologies. In Semantic agent systems: Foundations and applications, Studies in computational intelligence, vol. XVI, ed. A. Elci, M. Koné and M. Orgun. Berlin: Springer.
Valarakos, A.G., R.G. Valarakos, G. Paliouras, V. Karkaletsis, and G. Vouros. 2004. A name-matching algorithm for supporting ontology enrichment. In Proceedings of SETNO04, 3rd hellenic conference on artificial intelligence, 381–389. Berlin/New York: Springer.
van Diggelen, J., R.J. Beun, F. Dignum, R.M. van Eijk, and J.J.C. Meyer. 2004. Optimal communication vocabularies and heterogeneous ontologies. In AC, Lecture notes in computer science, vol. 3396, ed. R.M. van Eijk, M.P. Huget and F. Dignum, 76–90. Berlin: Springer. http://dblp.uni-trier.de/db/conf/acom/ac2004.html#DiggelenBDEM04.
van Diggelen, J., R.J. Beun, F. Dignum, R.M. van Eijk, and J.J.C. Meyer. 2006. Anemone: An effective minimal ontology negotiation environment. In Proceedings of the AAMAS, ed. H. Nakashima, M.P. Wellman, G. Weiss and P. Stone, 899–906. New York: ACM.
Vouros, G. A. 2012. Decentralized semantic coordination through belief propagation. In Proceedings of the 1st international conference on agreement technologies (AT-2012), 266–280. CEUR Vol. 918. http://ceur-ws.org/Vol-918/. The CEUR publication service is provided by RWTH Aachen, Germany.
Williams, A.B. 2004. Learning to share meaning in a multi-agent system. Autonomous Agents and Multi-Agent Systems 8: 165–193. doi:10.1023/B:AGNT.0000011160.45980.4b. http://dl.acm.org/citation.cfm?id=964566.964588.
Acknowledgements
In this chapter, we have extended work by Trojahn et al. published in (Trojahn et al. 2011). We also present on-going work for exploiting message passing algorithms for peers/agents organized in arbitrary large-scale networks to reach semantic agreements.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer Science+Business Media Dordrecht.
About this chapter
Cite this chapter
Trojahn, C., Vouros, G. (2013). Reconciling Heterogeneous Knowledge with Ontology Matching. In: Ossowski, S. (eds) Agreement Technologies. Law, Governance and Technology Series, vol 8. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-5583-3_6
Download citation
DOI: https://doi.org/10.1007/978-94-007-5583-3_6
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-007-5582-6
Online ISBN: 978-94-007-5583-3
eBook Packages: Computer ScienceComputer Science (R0)