Haase, P. (2005). Incremental Ontology Evolution: Evaluation (SEKT Formal Deliverable D3.1.2, University of Karlsruhe)