Skip Navigation


Journal of Logic and Computation Advance Access originally published online on August 14, 2008
Journal of Logic and Computation 2009 19(5):807-829; doi:10.1093/logcom/exn047
This Article
Right arrow Abstract Freely available
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Meilicke, C.
Right arrow Articles by Tamilin, A.
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?

© The Author, 2008. Published by Oxford University Press. All rights reserved. For Permissions, please email: journals.permissions@oxfordjournals.org

This article appears in the following Journal of Logic and Computation issue: Special Issue: Recent Advances in Ontology Dynamics [View the issue table of contents]

Original Articles

Reasoning Support for Mapping Revision

Christian Meilicke and Heiner Stuckenschmidt

Knowledge Representation and Knowledge Management Group, Computer Science Institute, University of Mannheim, A5, 6 68159 Mannheim, Germany.
E-mail: christian{at}informatik.uni-mannheim.de, heiner{at}informatik.uni-mannheim.de

Andrei Tamilin

Data and Knowledge Management Unit, Center for Information Technology, Fondazione Bruno Kessler, Via Sommarive 18, 38100 Povo di Trento, Italy.
E-mail: tamilin{at}fbk.eu

Received 8 November 2007.

Finding correct semantic correspondences between heterogeneous ontologies is one of the most challenging problems in the area of semantic web technologies. As manually constructing such mappings is not feasible in realistic scenarios, a number of automatic matching tools have been developed that propose mappings based on general heuristics. As these heuristics often produce incorrect results, a manual revision is inevitable in order to guarantee the quality of generated mappings. Experiences with benchmarking matching systems revealed that the manual revision of mappings is still a very difficult problem because it has to take the semantics of the ontologies as well as interactions between mappings into account. In this article, we propose methods for supporting human experts in the task of revising automatically created mappings. In particular, we present non-standard reasoning methods for detecting and propagating implications of expert decisions on the correctness of a mapping.

Keywords: Ontologies; ontology mappings; mapping revision; distributed description logics



References

  1. Baader F, Calvanese D, McGuinness D, Nardi D, Patel-Schneider P, eds. The Description Logic Handbook – Theory, Implementation and Applications (2003) Cambridge: Cambridge University Press.
  2. Bouquet P, Giunchiglia F, van Harmelen F, Serafini L, Stuckenschmidt H. Contextualizing Ontologies. Journal on Web Semantics (2004) 1:325–343.
  3. Bouquet P, Serafini L, Zanobini S. Peer-to-peer semantic coordination. Journal of Web Semantics (2004) 2:81–97.
  4. de la Banda MG, Stuckey P, Wazny J. Finding all minimal unsatisfiable subsets. In: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (2003) New York: ACM Press. 32–43.
  5. Euzenat J, Shvaiko P. Ontology Matching (2007) Heidelberg: Springer Verlag.
  6. Flouris G, Plexousakis D, Antoniou G. On applying the agm theory to dls and owl. In: Proceedings of the 4th International Semantic Web Conference (ISWC-05)—Gil Y, Motta E, Benjamins R, Musen M, eds. (2005) Berlin/Heidelberg: Springer. 216–231. Vol. 3729 of Lecture Notes in Computer Science.
  7. Friedrich G, Shchekotykhin K. A general diagnosis method for ontologies. In: Proceedings of 4th International Conference on Semantic Web (ISWC’05) (2005) Springer. 232–246.
  8. Giunchiglia F, Yatskevich M, Shvaiko P. Semantic matching: algorithms and implementation. Journal on Data Semantics (2007) 4601:1–38.
  9. Haase P, Qi G. An analysis of approaches to resolving inconsistencies in dl-based ontologies. In: Proceedings of ESWC 2007 Workshop on Ontology Dynamics (2007).
  10. Kalyanpur A, Parsia B, Sirin E, Grau Bernardo Cuenca. Repairing unsatisfiable concepts in owl ontologies. In: Proceedings of the 3rd European Semantic Web Conference (2006) Springer. 170–184.
  11. Meilicke C, Stuckenschmidt H. Applying logical constraints to ontology matching. In: Proceedings of the 30th German Conference on Artificial Intelligence—Hertzberg J, Beetz M, Englert R, eds. (2007) Berlin/Heidelberg: Springer. 99–113. Vol. 4667 in Lecture Notes in Artificial Intelligence.
  12. Meilicke C, Stuckenschmidt H, Tamilin A. Repairing ontology mappings. In: Proceedings of the Twenty-Second Conference on Artificial Intelligence (AAAI-07) (2007) AAAI Press.
  13. Parsia B, Sirin E, Kalyanpur A. Debugging owl ontologies. In: Proceedings of the 14th international World Wide Web Conference (2005) ACM. 633–640.
  14. Qi G, Haase P. Consistency models for networked ontologies — evaluation. In: NEON Deliverable D1.2.2, The NEON Project (2007).
  15. Qi G, Haase P. Consistency model for networked ontologies. In: NEON Deliverable D1.2.1, The NEON Project (2007).
  16. Qi G, Liu W, Bell D. A revision-based approach to handling inconsistency in description logics. In: Proceedings of 11th International workshop on Non-Monotonic Reasoning (NMR06) (2006) 124–132.
  17. Reiter R. A theory of diagnosis from first principles. Artificial Intelligence (1987) 32:57–95.[CrossRef][Web of Science]
  18. Schlobach S. Debugging and semantic clarification by pinpointing. In: Proceedings of ESWC 2005 (2005) Berlin/Heidelberg: Springer. 226–240.
  19. Schlobach S. Diagnosing terminologies. In: Proceedings of the 20th National Conference on Artificial Intelligence (AAAI-05) (2005) Menlo Park, CA: AAAI Press/The MIT Press. 670–675.
  20. Schlobach S, Cornet R. Non-standard reasoning services for the debugging of description logic terminologies. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence (2003) Morgan Kaufmann. 355–362.
  21. Serafini L, Borgida A, Tamilin A. Aspects of distributed and modular ontology reasoning. In: Proceedings of the International Joint Conference on Artificial Intelligence - IJCAI-05 (2005) Professional Book Center. 570–575.
  22. Serafini L, Tamilin A. DRAGO: distributed reasoning architecture for the semantic web. In: Proceedings of the Second European Semantic Web Conference (ESWC’05) (2005) Berlin/Heidelberg: Springer. 361–376.
  23. Serafini L, Zanobini S, Sceffer S, Bouquet P. Matching hierarchical classifications with attributes. In: Proceedings of the 3rd European semantic web Conference ESWC2006 (2006) Berlin/Heidelberg: Springer. 4–18.
  24. Stuckenschmidt H, Klein M. Reasoning and change management in modular ontologies. Data and Knowledge Engineering (2007) 63:200–223.[CrossRef]
  25. Svab O, Vojtech S, Berka P, Rak D, Tomasek P. Ontofarm: towards an experimental collection of parallel ontologies. In: Poster Proceedings of the International Semantic Web Conference 2005 (2005).
  26. Völker J, Vrandecic D, Sure Y, Hotho A. Learning disjointness. In: Proceedings of the 4th European Semantic Web Conference (ESWC’07) (2007) Belin/Heidelberg: Springer. 175–189.
  27. Wang P, Xu B. Debugging ontology mapping: a static method. Computing and Informatics (2007) 22:1001–1015.
  28. Wassermann R. An algorithm for belief revision. In: Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000) (2000) San Francisco: Morgan Kaufmann. 345–355.

Add to CiteULike CiteULike   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us    What's this?



This Article
Right arrow Abstract Freely available
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Meilicke, C.
Right arrow Articles by Tamilin, A.
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?