Trusted Reasoning Services for Semantic Web Agents. INF 34 (4).