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
Selected publications
Languages
English