Towards Integrity Constraints in OWL