ITR (NHS, ECS, int): Profile-Aware Web: Rules, Proofs, and Trust on the Semantic Web

Tim Berners Lee定义了语义网来支持机器可理解的网页。语义网的大部分发展都是基于XML（可扩展标记语言）、RDF（资源描述框架）、本体和信息互操作性的标准。语义网要想在操作环境中发挥作用，它必须是可靠的。通过可靠的语义网，我们指的是一个安全、隐私增强、管理信任、实时处理信息并确保高质量数据的语义网。这个项目的目标是研究语义网的策略。特别是，web规则语言将被扩展，以包括安全和隐私策略的规范。该项目还将开发一个推理引擎来对政策进行推理。语义网的隐私和信任策略，并开发算法来执行这些策略。

Tim Berners Lee has defined the semantic web to support machine understandable web pages. Much of the development in semantic web has been on standards for XML (eXtensible Markup Language), RDF (Resource Description Framework), Ontologies and Information Interoperability. For the semantic web to be useful in an operational environment, it has to be dependable. By a dependable semantic web we mean a semantic web that is secure, privacy-enhanced, manages trust, processes information in real-time and ensures high quality data. The objective of this project will be to investigate policies for the semantic web. In particular, the web rules language will be expended to include the specification of security and privacy policies. The project will also develop an inference engine to reason about the policies. Privacy and trust policies for the semantic web and develop algorithms to enforce the policies.