Verification, Validation and Integrity of Distributed and Interchanged Rule Based Policies and Contracts in the Semantic Web