Reconciling OWL and Non-monotonic Rules for the Semantic Web