Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences

  • Ernesto Jiménez-Ruiz
  • Bernardo Cuenca Grau
  • Ian Horrocks
  • Rafael Berlanga
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5554)

Abstract

We propose a general method and novel algorithmic techniques to facilitate the integration of independently developed ontologies using mappings. Our method and techniques aim at helping users understand and evaluate the semantic consequences of the integration, as well as to detect and fix potential errors. We also present ContentMap, a system that implements our approach, and a preliminary evaluation which suggests that our approach is both useful and feasible in practice.

References

  1. 1.
    Meilicke, C., Stuckenschmidt, H., Tamilin, A.: Reasoning Support for Mapping Revision. Journal of Logic and Computation (2008)Google Scholar
  2. 2.
    Meilicke, C., Stuckenschmidt, H., Tamilin, A.: Repairing ontology mappings. In: Proc. of AAAI, pp. 1408–1413 (2007)Google Scholar
  3. 3.
    Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From \(\mathcal{SHIQ}\) and RDF to OWL: the making of a web ontology language. J. Web Sem. 1(1), 7–26 (2003)CrossRefGoogle Scholar
  4. 4.
    Cuenca Grau, B., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P., Sattler, U.: OWL 2: The next step for OWL. J. Web Semantics 6(4), 309–322 (2008)CrossRefGoogle Scholar
  5. 5.
    Jimenez-Ruiz, E., Cuenca Grau, B., Horrocks, I., Berlanga, R.: Ontology integration using mappings: Towards getting the right logical consequences. Technical report The ContentMap tool is also available at this location (2008), http://krono.act.uji.es/people/Ernesto/contentmap
  6. 6.
    Euzenat, J.: Semantic precision and recall for ontology alignment evaluation. In: Proc. of IJCAI, pp. 348–353 (2007)Google Scholar
  7. 7.
    Borgida, A., Serafini, L.: Distributed description logics: Assimilating information from peer sources. J. Data Semantics 1, 153–184 (2003)MATHGoogle Scholar
  8. 8.
    Kontchakov, R., Wolter, F., Zakharyaschev, M.: Can you tell the difference between DL-Lite ontologies? In: Proc. of KR (2008)Google Scholar
  9. 9.
    Konev, B., Walther, D., Wolter, F.: The logical difference problem for description logic terminologies. In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS, vol. 5195, pp. 259–274. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  10. 10.
    Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C.: OWL 2 Web Ontology Language: Profiles. W3C Working Draft (2008)Google Scholar
  11. 11.
    Kalyanpur, A., Parsia, B., Sirin, E., Hendler, J.A.: Debugging unsatisfiable classes in OWL ontologies. J. Web Semantics 3(4), 268–293 (2005)CrossRefGoogle Scholar
  12. 12.
    Schlobach, S., Huang, Z., Cornet, R., van Harmelen, F.: Debugging incoherent terminologies. J. Autom. Reasoning 39(3), 317–349 (2007)MathSciNetCrossRefMATHGoogle Scholar
  13. 13.
    Kalyanpur, A., Parsia, B., Horridge, M., Sirin, E.: Finding all justifications of OWL DL entailments. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudré-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol. 4825, pp. 267–280. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  14. 14.
    Suntisrivaraporn, B., Qi, G., Ji, Q., Haase, P.: A modularization-based approach to finding all justifications for OWL DL entailments. In: Proc. of ASWC (2008)Google Scholar
  15. 15.
    Kalyanpur, A., Parsia, B., Sirin, E., Grau, B.C.: Repairing unsatisfiable concepts in OWL ontologies. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 170–184. Springer, Heidelberg (2006)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Ernesto Jiménez-Ruiz
    • 1
  • Bernardo Cuenca Grau
    • 2
  • Ian Horrocks
    • 2
  • Rafael Berlanga
    • 1
  1. 1.Universitat Jaume ISpain
  2. 2.University of OxfordUK

Personalised recommendations