QUASAR query language Ontology Contraction: beyond Propositional Paradise Bernardo Cuenca Grau, Computer Science Department, University of Oxford Evgeny Kharlamov, Dmitriy…