Professor Ian Horrocks FRS
Professor of Computer Science
Fellow, Oriel College
+44 1865 273939
+44 1865 283557
+44 1865 273839 (fax)
My 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.
A complete list of my publications, along with downloadable pdfs. Lists of selected, recent, and most-cited publications are also available. If you are a glutton for punishment you could also look at my Google Citations profile, or my DBLP entry.
Tools & Datasets
The group has developed many tools, including, e.g., HermiT, a highly optimised OWL 2 reasoner, ELK, a consequence based OWL 2 EL reasoner, PAGOdA, a pay-as-you-go OWL 2 query answering system, RDFox, a highly scalable RDF triple store, and SemFacet, a semantic faceted search system. We also maintain a library of ontologies and datasets.
Doctoral Study in Computer Science
Students working towards their D.Phil (PhD) are an integral part of the Information Systems Group, and make a vital contribution to our research. The department is currently advertising a number of full and partial doctoral scholarships. See our studentships page for further details, and information about other funding opportunities.
A Preliminary Approach on Ontology−Based Visual Query Formulation for Big Data
Dmitriy Zheleznyakov Ahmet Soylu Martin G. Skjæveland Martin Giese Ian Horrocks Ernesto Jiménez−Ruiz Evgeny Kharlamov
In 7th Research Conference on Metadata and Semantics Research (MTSR). Vol. 390 of Communications in Computer and Information Science. Pages 201−212. Springer. November, 2013.
Acceptance rate: 32%
OptiqueVQS: towards an ontology−based visual query system for big data
Ahmet Soylu‚ Martin Giese‚ Ernesto Jiménez−Ruiz‚ Evgeny Kharlamov‚ Dmitriy Zheleznyakov and Ian Horrocks
In Fifth International Conference on Management of Emergent Digital EcoSystems (MEDES). Pages 119−126. ACM. October, 2013.
Evaluating Mapping Repair Systems with Large Biomedical Ontologies
Ernesto Jiménez−Ruiz‚ Christian Meilicke‚ Bernardo Cuenca Grau and Ian Horrocks
In 26th International Workshop on Description Logics. July, 2013.