University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

Ian Horrocks

Personal photo - Ian Horrocks
Professor Ian Horrocks FRS
Professor of Computer Science
ian.horrocks@cs.ox.ac.uk
karen.barnes@cs.ox.ac.uk
+44 1865 273939
+44 1865 283557
+44 1865 273839 (fax)

Interests

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.

Publications

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.

Presentations

Slides from selected keynotes, seminars, tutorials and other presentations.

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. As a result of a generous donation from Google, we currently have a number of fully funded studentships available in addition to our usual range of studentships and other scholarships . See our studentships page for further details, and information about other funding opportunities .

Other Links

link DBOnto — an EPSRC platform grant.
link Projects
link New & Events
link Oxford Impacts

Recent News

Projects

Twelve Oxford papers at AAAI-15

The 29th AAAI Conference on Artificial Intelligence

More Details...

Selected Publications

View all

Manage publications

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.

Info

Themes

Activities

Projects

Completed Projects

Current Students

Past Students

Personal photo - Despoina Magka
Despoina Magka
Personal photo - Frantisek Simancik
Frantisek Simancik

SHARE THIS: