Ian Horrocks
Professor of Computer Science
Department of Computer Science
University of Oxford
United Kingdom
Biography
Ian Robert Horrocks FRS is a Professor of Computer Science at the University of Oxford in the UK and a Fellow of Oriel College, Oxford. His research focuses on knowledge representation and reasoning, particularly ontology languages, description logic and optimised tableaux decision procedures. Horrocks completed his Bachelor of Science, Master of Science (1995) and Doctor of Philosophy (1997) degrees in the School of Computer Science at the University of Manchester. After several years as a lecturer, senior lecturer, Reader then Professor in Manchester, he moved to the University of Oxford in 2008.
Research Interest
Ian's research interests include 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.
Publications
-
Soylu A, Giese M, Jimenez-Ruiz E, Vega-Gorgojo G, Horrocks I. Experiencing OptiqueVQS: a multi-paradigm and ontology-based visual query system for end users. Universal Access in the Information Society. 2016 Mar 1;15(1):129-52.
-
Soylu A, Giese M, Jimenez-Ruiz E, Kharlamov E, Zheleznyakov D, Horrocks I. Ontology-based end-user visual query formulation: Why, what, who, how, and which?. Universal Access in the Information Society. 2017 Jun 1;16(2):435-67.
-
Kharlamov E, Grau BC, Jiménez-Ruiz E, Lamparter S, Mehdi G, Ringsquandl M, Nenov Y, Grimm S, Roshchin M, Horrocks I. Capturing industrial information models with ontologies and constraints. InInternational Semantic Web Conference 2016 Oct 17 (pp. 325-343). Springer International Publishing.
-
Nikolaou C, Kostylev EV, Konstantinidis G, Kaminski M, Grau BC, Horrocks I. The Bag Semantics of Ontology-Based Data Access. arXiv preprint arXiv:1705.07105. 2017 May 19.
