Ian Horrocks
Professor Ian Horrocks FRS
Themes:
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
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 Information Systems Group, and make a vital contribution to our research. We currently have a fully funded studentship available to work on our RDFox triple store project. This is in addition to 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
DBOnto — an EPSRC platform grant.ProjectsNew & EventsOxford Impacts
Selected Publications
-
SOMM: Industry Oriented Ontology Management Tool
Evgeny Kharlamov‚ Bernardo Cuenca Grau‚ Ernesto Jimenez−Ruiz‚ Steffen Lamparter‚ Gulnar Mehdi‚ Martin Ringsquandl‚ Yavor Nenov‚ Stephan Grimm‚ Mikhail Roshchin and Ian Horrocks
In Proc. of International Semantic Web Conference (ISWC)‚ Posters and Demonstrations Track. October, 2016.
Details about SOMM: Industry Oriented Ontology Management Tool | BibTeX data for SOMM: Industry Oriented Ontology Management Tool | Download (pdf) of SOMM: Industry Oriented Ontology Management Tool | Link to SOMM: Industry Oriented Ontology Management Tool
-
Towards Analytics Aware Ontology Based Access to Static and Streaming Data
Evgeny Kharlamov‚ Yannis Kotidis‚ Theofilos Mailis‚ Christian Neuenstadt‚ Charalampos Nikolaou‚ Oezguer Oezcep‚ Christoforos Svingos‚ Sebastian Brandt Dmitriy Zheleznyako and‚ Ian Horrocks‚ Yannis Ioannidis‚ Steffen Lamparter and Ralf Moeller
In Proc. of International Semantic Web Conference (ISWC). October, 2016.
Details about Towards Analytics Aware Ontology Based Access to Static and Streaming Data | BibTeX data for Towards Analytics Aware Ontology Based Access to Static and Streaming Data | Download (pdf) of Towards Analytics Aware Ontology Based Access to Static and Streaming Data
-
Capturing Industrial Information Models with Ontologies and Constraints
Evgeny Kharlamov‚ Bernardo Cuenca Grau‚ Ernesto Jimenez−Ruiz‚ Steffen Lamparter‚ Gulnar Mehdi‚ Martin Ringsquandl‚ Yavor Nenov‚ Stephan Grimm‚ Mikhail Roshchin and Ian Horrocks
In Proc. of International Semantic Web Conference (ISWC). Vol. 9981 of LNCS. October, 2016.
Details about Capturing Industrial Information Models with Ontologies and Constraints | BibTeX data for Capturing Industrial Information Models with Ontologies and Constraints | Download (pdf) of Capturing Industrial Information Models with Ontologies and Constraints | Link to Capturing Industrial Information Models with Ontologies and Constraints
