Our research is concerned with both the formal and practical aspects of knowledge representation and reasoning, and the applications of these techniques to Intelligent Software Agents, and the Semantic Web. Our interests span information provenance, trust and policies (or norms), efficient reasoning infrastructures, and argumentation. We apply these techniques to a wide range of applications including emergency response, scientific enquiry and software engineering. Areas of active research within the ARK group include:
- Semantic policies for agent reasoning.
- Tractable reasoning infrastructure for OWL 2.
- Virtual research environment to support collaborative management of information resources and their provenance.