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.
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.
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 .
Foundations of Declarative Data Analysis Using Limit Datalog Programs
Mark Kaminski‚ Bernardo Cuenca Grau‚ Egor V. Kostylev‚ Boris Motik and Ian Horrocks
In Proceedings of the Twenty−Sixth International Joint Conference on Artificial Intelligence‚ IJCAI−17. Pages 1123–1130. 2017.
Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ and Nominals
David Tena Cucala‚ Bernardo Cuenca Grau and Ian Horrocks
In Proceedings of the 30th International Workshop on Description Logics‚ Montpellier‚ France‚ July 18−21‚ 2017. 2017.
The Bag Semantics of Ontology−Based Data Access
Charalampos Nikolaou‚ Egor V. Kostylev‚ George Konstantinidis‚ Mark Kaminski‚ Bernardo Cuenca Grau and Ian Horrocks
In Proceedings of the Twenty−Sixth International Joint Conference on Artificial Intelligence‚ IJCAI−17. Pages 1224−1230. 2017.