Consistent Evolution of OWL Ontologies

  • Peter Haase
  • Ljiljana Stojanovic
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3532)


Support for ontology evolution is extremely important in ontology engineering and application of ontologies in dynamic environments. A core aspect in the evolution process is the to guarantee consistency of the ontology when changes occur. In this paper we discuss the consistent evolution of OWL ontologies. We present a model for the semantics of change for OWL ontologies, considering structural, logical, and user-defined consistency. We introduce resolution strategies to ensure that consistency is maintained as the ontology evolves.


Consistency Condition Description Logic Resolution Function Resolution Strategy Ontology Model 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Baclawski, K., Matheus, C.J., Kokar, M.M., Letkowski, J., Kogut, P.A.: Towards a symptom ontology for semantic web applications. In: McIlraith et al., [12], pp. 650–667Google Scholar
  2. 2.
    Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D., Patel-Schneider, P.F., Stein, L.A.: Owl web ontology language reference,
  3. 3.
    Brockmans, S., Volz, R., Eberhart, A., Löffler, P.: Visual modeling of owl dl ontologies using uml. In: McIlraith et al., [12], pp. 198–213Google Scholar
  4. 4.
    Ding, Z., Peng, Y.: A Probabilistic Extension to Ontology Language OWL. In: Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS-37), Big Island, Hawaii (January 2004)Google Scholar
  5. 5.
    Fensel, D.: Ontologies: dynamics networks of meaning. In: Proceedings of the 1st Semantic web working symposium, Stanford, CA, USA (2001)Google Scholar
  6. 6.
    Flouris, G.: Belief change in arbitrary logics. In: HDMS (2004)Google Scholar
  7. 7.
    Horrocks, I., Patel-Schneider, P.F.: Reducing OWL Entailment to Description Logic Satisfiability. Journal of Web Semantics 1(4) (2004)Google Scholar
  8. 8.
    Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From SHIQ and RDF to OWL: The Making of a Web Ontology Language. Journal of Web Semantics 1(1) (2003)Google Scholar
  9. 9.
    Horrocks, I., Sattler, U., Tobies, S.: Practical Reasoning for Very Expressive Description Logics. Logic Journal of the IGPL 8(3), 239–263 (2000)zbMATHCrossRefMathSciNetGoogle Scholar
  10. 10.
    Klein, M.: Change Management for Distributed Ontologies. PhD thesis, Free University of Amsterdam (2004)Google Scholar
  11. 11.
    Knublauch, H., Fergerson, R.W., Noy, N.F., Musen, M.A.: The protégé owl plugin: An open development environment for semantic web applications. In: McIlraith et al., [12], pp. 229–243Google Scholar
  12. 12.
    McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.): ISWC 2004. LNCS, vol. 3298. Springer, Heidelberg (2004)Google Scholar
  13. 13.
    Noy, N.F., Klein, M.: Ontology evolution: not the same as schema evolution. In SMI technical report SMI-2002-0926 (2002)Google Scholar
  14. 14.
    Patel-Schneider, P.F., Hayes, P., Horrocks, I.: Owl web ontology language semantics and abstract syntax,
  15. 15.
    Peters, R.J., Özsu, M.T.: An axiomatic model of dynamic schema evolution in objectbase systems. ACM Trans. Database Syst. 22(1), 75–114 (1997)CrossRefGoogle Scholar
  16. 16.
    Roddick, J.F.: A survey of schema versioning issues for database systems. Information and Software Technology 37(7), 383–393 (1995)CrossRefGoogle Scholar
  17. 17.
    Stojanovic, L., Abecker, A., Stojanovic, N., Studer, R.: On managing changes in the ontology-based e-government. In: Meersman, R., Tari, Z. (eds.) OTM 2004. LNCS, vol. 3291, pp. 1080–1097. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  18. 18.
    Stojanovic, L.: Methods and Tools for Ontology Evolution. PhD thesis, University of Karlsruhe (2004)Google Scholar
  19. 19.
    Volz, R.: Web Ontology Reasoning with Logic Databases. PhD thesis, University of Karlsruhe (2004)Google Scholar
  20. 20.
    Welty, C.A., Guarino, N.: Supporting ontological analysis of taxonomic relationships. Data Knowledge Engineering 39(1), 51–74 (2001)zbMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Peter Haase
    • 1
  • Ljiljana Stojanovic
    • 2
  1. 1.Institute AIFBUniversity of KarlsruheGermany
  2. 2.FZI at the University of KarlsruheGermany

Personalised recommendations