Ontology Evolution Under Semantic Constraints