Ontology Contraction: beyond Propositional Paradise Bernardo Cuenca Grau, Computer Science Department, University of Oxford Evgeny Kharlamov, Dmitriy Zheleznyakov.