Professor Ian Horrocks

Professor of Computer Science, Fellow of Oriel College

About

Professor Horrocks' research covers knowledge representation, ontologies and ontology languages, modal and description logics, automated reasoning, implementation and optimisation of reasoning systems, and applications in areas such as e-science and the semantic web.

Expertise

  • Semantic web
  • Automated reasoning
  • Reasoning systems and information systems
  • Information ontologies

Languages

English