Ontology Mapping Validation: Dealing With An Np-complete Problem

The use of ontologies and ontology mappings is increasing in companies. Often the s me context is modeled in different ontologies. Mapping is necessary to integrate these ontologies; however, in many cases these mappings are incorrect, i.e., they incorrectly link semantic concepts with different meanings. Tools that validate these mappings are necessary to ensure reliable communication between heterogeneous systems. This validation cannot be done in a completely automatic way, because the mappings are based on human interpretation. This work describes a semi-automatic tool that supports this activity, based on graphs that generate instances validated in a semi-automatic process that aims to ensure mapping robustness. This algorithm deals with an NP-Complete problem in order to generate all the instances. This paper presents a first prototype of the tool and the methodology used to validate the instances automatically generated by the tool. © 2011, IGI Global.33111Babic, D., Hu, A.H., Calysto: Scalable and precise extended static checking (2008) Proceedings of the 30th International Conference on Software Engineering, pp. 211-220Beizer, B., (1990) Software Testing Techniques, , (1st ed.). London, UK: International Thomson Computer PressBerg, T., Raffelt, H., Model checking (2005) Proceedings of the Advanced Lectures on Model-Based Testing of Reactive Systems (LNCS 3472), pp. 557-603. , M. Broy, B. Jonsson, J.-P. Katoen, M. Leucker, & A. Pretschner (Eds.)Bertolino, A., Software testing research: Achievements, challenges, dreams (2007) FoSE 2007: Future of Software Engineering, pp. 85-103. , DOI 10.1109/FOSE.2007.25, 4221614, FoSE 2007: Future of Software EngineeringBoccaletti, S., Latora, V., Moreno, Y., Chavez, M., Hwang, D.-U., Complex networks: Structure and dynamics (2006) Physics Reports, 424 (4-5), pp. 175-308. , DOI 10.1016/j.physrep.2005.10.009, PII S037015730500462XCardoso, J., The semantic web vision: Where are we? (2007) IEEE Intelligent Systems, 22 (5), pp. 84-88. , DOI 10.1109/MIS.2007.4338499Ehrig, M., Sure, Y., Ontology mapping - An integrated approach (2004) Proceedings of the First European Semantic Web Symposium: Research and Applications (LNCS 3053), pp. 76-91. , C. J. Bussler, J. Davies, D. Fensel, & R. Studer (Eds.)Euzenat, J., First results of the ontology alignment evaluation initiative (2010) Proceedings of the Workshop on Ontology MatchingFraser, G., Wotawa, F., Ammann, P.E., Testing with model checkers: A survey (2007) Software Testing, Verification and Reliability, 19, p. 3Jacob, E.K., Ontologies and semantic web (2003) Bulletin of the American Society for Information Science and TechnologyKalfoglou, Y., Schorlemmer, M., Ontology mapping: The state of the art (2003) Knowledge Engineering Review Journal, 18, pp. 1-31. , doi:10.1017/S0269888903000651Kropp, N.P., Koopman, P.J., Siewiorek, D.P., Automated robustness testing of off-the-shelf software components (1998) Proceedings of the 28th Annual International Symposium on Fault Tolerant Computing Symposium, , Munich, GermanyMyers, G., (1979) The Art of Software Testing, , New York, NY: John Wiley SonsPerez, I.R.D.C., Martins, E., Automação em projeto de testes usando modelos UML (2007) Proceedings of the 1st Brazilian Workshop on Systematic and Automated Software Testing, junto ao XXI Simpósio de Engenharia de SoftwareSerpeloni, F., Moraes, R., Bonacin, R., A semi-automated approach to validate ontology mappings (2010) Proceedings of the 10th Annual International Conference on New Technologies of Distributed System