Reasoning and Proofing Services for Semantic Web Agents