Gravar-mail: Belief contraction in web-ontology languages