Algorithms for Multiple Contraction and an Application to OWL Ontologies | IEEE Conference Publication | IEEE Xplore