Ontology Evolution Under Semantic Constraints

The dynamic nature of ontology development has motivated the formal study of ontology evolution problems. This paper presents a logical framework that enables fine-grained investigation of evolution problems at a deductive level. In our framework, the optimal evolutions of an ontology $O$ are those ontologies $O'$ that maximally preserve both the structure of $O$, and its entailments in a given preservation language. We show that our framework is compatible with the postulates of Belief Revision, and we investigate the existence of optimal evolutions in various settings. In particular, we present first results on TBox-level revision and contraction in the $EL$ and $FL_0$ families of Description Logics.