Ian Horrocks

Professor Ian Horrocks FRS
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.
Activities (selected)
Editor in Chief of the Journal of Web Semantics
President of the Semantics Web Science Association (SWSA)
Founder of Oxford Semantic Technologies
Publications
You might be interested in An Introduction to Description Logics, a newly published book that I co-authored (with Franz Baader, Carsten Lutz and Uli Sattler). 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. You may also be interested in a video of my ISWC 2015 keynote.
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 Data and Knowledge Group, and make a vital contribution to our research. See our studentships page for further details, and information about funding opportunities . You might also be interested in this page about Oxford Alumnae, one of whom (Despoina Magka) did her DPhil in the KRR group and is now at Facebook.
Other Links
Projects
New & Events
Oxford Impacts
Selected Publications
-
Foundations of Ontology−Based Data Access under Bag Semantics
Charalampos Nikolaou‚ Egor V. Kostylev‚ George Konstantinidis‚ Mark Kaminski‚ Bernardo Cuenca Grau and Ian Horrocks
In Artificial Intelligence. 2019.
Details about Foundations of Ontology−Based Data Access under Bag Semantics | BibTeX data for Foundations of Ontology−Based Data Access under Bag Semantics | DOI (10.1016/j.artint.2019.02.003)
-
Modular Materialisation of Datalog Programs
Pan Hu‚ Boris Motik and Ian Horrocks
In Proceedings of the Thirty−Third AAAI Conference on Artificial Intelligence (AAAI−19). 2019.
Details about Modular Materialisation of Datalog Programs | BibTeX data for Modular Materialisation of Datalog Programs
-
ColNet: Embedding the Semantics of Web Tables for Column Type Prediction
Jiaoyan Chen‚ Ernesto Jimenez−‐Ruiz‚ Ian Horrocks and Charles Sutton
In Proceedings of the Thirty−Third AAAI Conference on Artificial Intelligence (AAAI−19). 2019.
Details about ColNet: Embedding the Semantics of Web Tables for Column Type Prediction | BibTeX data for ColNet: Embedding the Semantics of Web Tables for Column Type Prediction