Detection and resolution of semantic inconsistency and redundancy in an automatic ontology merging system

详细信息    查看全文

• 作者：Muhammad Fahad (1) mhd.fahad@gmail.com
  Nejib Moalla (1) nejib.moalla@univ-lyon2.fr
  Abdelaziz Bouras (1) abdelaziz.bouras@univ-lyon2.fr
• 关键词：Ontology mapping and merging &#8211 ; Semantic heterogeneity &#8211 ; Inconsistency detection &#8211 ; Validation of mappings &#8211 ; Similarity measure
• 刊名：Journal of Intelligent Information Systems
• 出版年：2012
• 出版时间：October 2012
• 年：2012
• 卷：39
• 期：2
• 页码：535-557
• 全文大小：879.5 KB
• 参考文献：1. Bouquet, P., Serafini, L., Zanobini, S., & Sceffer, S. (2006). Bootstrapping semantics on the web: Meaning elicitation from schemas. In Proc. of 15th international world wide web conference(pp. 505–512).
  2. Bruijn, J.d., Ehrig, M., Feier, C., Mart铆n-Recuerda, F., Scharffe, F., & Weiten, M. (2006). Ontology mediation, merging and aligning. In Semantic web technologies. Wiley.
  3. Chalupsky, H. (2000). OntoMorph: A translation system for symbolic knowledge. In A. G. Cohn, F. Giunchiglia, & B. Selman (Eds.), 7th international conference on knowledge representation and reasoning (KR’00). Breckenridge, Colorado (pp. 471–482). San Francisco: Morgan Kaufmann.
  4. Doan, A., Madhaven, J., Domingos, P., & Halevy, A. (2004). Ontology matching: A machine learning approach. Handbook on ontologies in info. systems (pp. 397–416). Springer.
  5. Ehrig, M., & Staab, S. (2004). QOM—Quick Ontology Mapping. In Proc. of the third international semantic web conference, LNCS 3298 (pp. 683–696). Springer.
  6. Euzenat, J., & Shvaiko, P. (2007). Ontology matching. Berlin: Springer.
  7. Euzenat, J., & Valtchev, P. (2004). Similarity-based ontology alignment in OWL-Lite. In Proc. of 16th ECAI-04, Valencia, Spain (pp. 333–337).
  8. Fahad, M., Moalla, N., & Bouras, A. (2011). Towards ensuring satisfiability of merged ontology. In Proceedings of 10th int’l conference on computation science, Singapore. ICCS 2011, Procedia Computer Science (Vol. 4, pp. 2216–2225).
  9. Fahad, M., Moalla, N., Bouras, A., Qadir, M. A., & Farukh, M. (2010). Disjoint-knowledge analysis and preservation in ontology merging process. In ICSEA, fifth international conference on software engineering advances (pp. 422–428).
  10. Fahad, M., & Qadir, M. A. (2008). A framework for ontology evaluation. In Proceedings of 16th int’l conference on conceptual structures, France. ICCS Supplement, Ceur-ws (Vol. 354, pp. 149–158).
  11. Fahad, M., & Qadir, M. A. (2009). Similarity computation by ontology merging system: DKP-OM. In Proc. of 2nd international conference on computer, control and communication, Karachi, Pakistan (pp. 1–6). IEEE Press.
  12. Fahad, M., Qadir, M. A., Noshairwan, M. W., & Iftakhir, N. (2007). DKP-OM: A semantic based ontology merger. In Proceedings of 3rd international conference I-Semantics 2007, Graz, Austria (pp. 313–322). J.UCS.
  13. Giunchiglia, F., Shvaiko, P., & Yatskevich, M. (2004). S-Match: An algorithm and implementation of semantic matching. In Proc. of 1st European semantic web symposium, LNCS 3053 (pp. 61–75). Springer.
  14. Jean-Marya, Y. R., Shironoshitaa, E. P., & Kabuka, M. R. (2009). Ontology matching with semantic verification. Web Semantics: Science, Services and Agents on the WWW, 7(1), 235–251 (Elsevier).
  15. Kalfoglou, Y., & Schorlemmer, M. (2003). If-map: An ontology mapping method based on information flow theory. In Journal of Data Semantics, LNCS, 2800 (pp. 98–127). Springer.
  16. Klein, M. (2001). Combining and relating ontologies: An analysis of problems and solution. In Proc. of workshop on ontologies and information sharing, Seattle, USA (pp. 53–62).
  17. Kotis, K., Vouros, G. A., & Stergiou, K. (2006). Towards automatic merging of domain ontologies: The HCONE-merge approach. In Web semantics: Science, services and agents on the world wide web (Vol. 4(1), pp. 60–79). Elsevier.
  18. Mascardi, V., Locoro, A., & Rosso, P. (2010). Automatic ontology matching via upper ontologies: A systematic evaluation. IEEE Transaction on Knowledge and Data Engineering, 2(5), 609–623 (IEEE Press).
  19. McGuinness, D. L., Fikes, R., Rice, J., & Wilder, S. (2000). An environment for merging and testing large ontologies. In Proc. of the 7th international conference on principles of knowledge representation and reasoning, Colorado, USA (pp. 483–493).
  20. Mitra, P., & Wiederhold, G. (2002). Resolving terminological heterogeneity in ontologies. In Proc. of workshop on ontologies and semantic interoperability at the 15th ECAI, Lyon, France (pp. 45–50).
  21. Noy, N. F., & Musen, M. A. (2003). The PROMPT suite: Interactive tools for ontology merging and mapping. International Journal of Human-Computer Studies, 59(6), 983–1024 (Elsevier).
  22. Stumme, G., & M盲dche, A. (2001). FCA-merge: Bottom-up merging of ontologies. In Proc. of 7th int’l. joint conference on artificial intelligence, Seattle, USA (pp. 225–230).
• 作者单位：1. Decision & Information Sciences for Production Systems (DISP), CERRAL CENTER, University of Lyon2, Bron, 69676 France
• ISSN：1573-7675

文摘

In recent years, researchers have been developing algorithms for the automatic mapping and merging of ontologies to meet the demands of interoperability between heterogeneous and distributed information systems. But, still state-of-the-art ontology mapping and merging systems is semi-automatic that reduces the burden of manual creation and maintenance of mappings, and need human intervention for their validation. The contribution presented in this paper makes human intervention one step more down by automatically identifying semantic inconsistencies in the early stages of ontology merging. We are detecting semantic heterogeneities that occur due to conflicts among the set of Generalized Concept Inclusions, Property Subsumption Criteria, and Constraint Satisfaction Mechanism in local heterogeneous ontologies, which become obstacles for the generation of semantically consistent global merged ontology. We present several algorithms to detect such semantic inconsistencies based on subsumption analysis of concepts and properties in local ontologies from the list of initial mappings. We provide ontological patterns for resolving these inconsistencies automatically. This results global merged ontology free from ‘circulatory error in class/property hierarchy’, ‘common class between disjoint classes/properties’, ‘redundancy of subclass/subproperty of relations’ and other types of ‘semantic inconsistency’ errors. Experiments on the real ontologies show that our algorithms save time and cost of traversing local ontologies, improve system’s performance by producing only consistent accurate mappings, and reduce the users’ dependability for ensuring the satisfiability of merged ontology.