Haase, Peter: Incremental Ontology Evolution: Evaluation, 2005. - SEKT Formal Deliverable D3.1.2, University of Karlsruhe