Ontology Contraction: Beyond the Propositional Paradise.
Bernardo Cuenca Grau, Evgeny Kharlamov, Dmitriy Zheleznyakov · 2012
Abstract. The dynamic nature of ontology development has motivated the formal study of ontology evolution problem. This paper addresses contraction —the problem of retracting information that should no longer hold in an ontology. We survey existing model and formula based semantics to contraction and investigate their properties for the description logics DL-Lite and EL, which underpin the QL and EL profiles of OWL 2. Our results suggest that these contraction semantics, which are well-understood and well-behaved for propositional logics, are intrinsically problematical in the context of ontology languages. We believe that a starting point for addressing these problems might be the recent semantics proposed in [1]. 1