Logical Invalidations of Semantic Annotations

  • Julius Köpke
  • Johann Eder
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7328)


Semantic annotations describe the semantics of artifacts like documents, web-pages, schemas, or web-services with concepts of a reference ontology. Application interoperability, semantic query processing, semantic web services, etc. rely on a such a description of the semantics. Semantic annotations need to be created and maintained. We present a technique to detect logical errors in semantic annotations and provide information for their repair. In semantically rich ontology formalisms such as OWL-DL the identification of the cause of logical errors can be a complex task. We analyze how the underlying annotation method influences the types of invalidations and propose efficient algorithms to detect, localize and explain different types of logical invalidations in annotations.


Semantic annotation ontology evolution annotation maintenance logical invalidation 


  1. 1.
    Corcho, O., Roussey, C., Blazquez, L.M.V., Perez, I.: Pattern-based owl ontology debugging guidelines. In: Proc. of WOP 2009., vol. 516 (November 2009)Google Scholar
  2. 2.
    Corcho, O., Roussey, C., Zamazal, O., Scharffe, F.: SPARQL-based Detection of Antipatterns in OWL Ontologies. In: Proc. of EKAW 2010 Poster and Demo Track (October 2010)Google Scholar
  3. 3.
    Eder, J., Koncilia, C.: Modelling Changes in Ontologies. In: Meersman, R., Tari, Z., Corsaro, A. (eds.) OTM Workshops. LNCS, vol. 3292, pp. 662–673. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  4. 4.
    Friedrich, G., Shchekotykhin, K., Rodler, P.: Balancing brave and cautions query strategies in ontology debugging. In: Proc. of DX-2011 Workshop, pp. 122–130. DX Society (2011)Google Scholar
  5. 5.
    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.J.B., 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
  6. 6.
    Kopecký, J., Vitvar, T., Bournez, C., Farrell, J.: Sawsdl: Semantic annotations for wsdl and xml schema. IEEE Internet Comp. 11(6), 60–67 (2007)CrossRefGoogle Scholar
  7. 7.
    Köpke, J., Eder, J.: Semantic Annotation of XML-Schema for Document Transformations. In: Meersman, R., Dillon, T., Herrero, P. (eds.) OTM 2010. LNCS, vol. 6428, pp. 219–228. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  8. 8.
    Köpke, J., Eder, J.: Semantic Invalidation of Annotations Due to Ontology Evolution. In: Meersman, R., Dillon, T., Herrero, P., Kumar, A., Reichert, M., Qing, L., Ooi, B.-C., Damiani, E., Schmidt, D.C., White, J., Hauswirth, M., Hitzler, P., Mohania, M. (eds.) OTM 2011, Part II. LNCS, vol. 7045, pp. 763–780. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  9. 9.
    Miller, E., Manola, F.: RDF primer. W3C recommendation, W3C (February 2004),
  10. 10.
    Missikoff, M., Schiappelli, F., Taglino, F.: A controlled language for semantic annotation and interoperability in e-business applications. In: Proc. of ISWC 2003, pp. 1–6 (2003)Google Scholar
  11. 11.
    W3C OWL Working Group. OWL 2 Web Ontology Language: Document Overview. W3C Recommendation, October 27 (2009),
  12. 12.
    Parsia, B., Sirin, E., Kalyanpur, A.: Debugging owl ontologies. In: Proc. of 14th Int. Conf. WWW, pp. 633–640. ACM Press (2005)Google Scholar
  13. 13.
    Reiter, R.: A Theory of Diagnosis from First Principles. In: Siekmann, J.H. (ed.) CADE 1986. LNCS, vol. 230, pp. 153–153. Springer, Heidelberg (1986)CrossRefGoogle Scholar
  14. 14.
    Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: IJCAI, pp. 355–362 (2003)Google Scholar
  15. 15.
    Sheth, A.P., Ramakrishnan, C.: Semantic (web) technology in action: Ontology driven information systems for search, integration and analysis. IEEE Data Eng. Bull. 26(4), 40–48 (2003)Google Scholar
  16. 16.
    Vujasinovic, M., Ivezic, N., Kulvatunyou, B., Barkmeyer, E., Missikoff, M., Taglino, F., Marjanovic, Z., Miletic, I.: Semantic mediation for standard-based b2b interoperability. IEEE Internet Comp. 14(1), 52–63 (2010)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Julius Köpke
    • 1
  • Johann Eder
    • 1
  1. 1.Department of Informatics-SystemsAlpen-Adria UnversitätKlagenfurtAustria

Personalised recommendations