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. 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.
The Window Validity Problem in Rule−Based Stream Reasoning
Alessandro Ronca‚ Mark Kaminski‚ Bernardo Cuenca Grau and Ian Horrocks
In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference‚ KR 2018‚ Tempe‚ Arizona‚ 30 October – 2 November 2018. Pages 571–580. 2018.
Stream Reasoning in Temporal Datalog
Alessandro Ronca‚ Mark Kaminski‚ Bernardo Cuenca Grau‚ Boris Motik and Ian Horrocks
In Proceedings of the Thirty−Second AAAI Conference on Artificial Intelligence‚ (AAAI−18)‚ New Orleans‚ Louisiana‚ USA‚ February 2–7‚ 2018. Pages 1941–1948. 2018.
Stratified Negation in Limit Datalog Programs
Mark Kaminski‚ Bernardo Cuenca Grau‚ Egor V. Kostylev‚ Boris Motik and Ian Horrocks
In Proceedings of the Twenty−Seventh International Joint Conference on Artificial Intelligence‚ IJCAI 2018‚ July 13−19‚ 2018‚ Stockholm‚ Sweden.. Pages 1875–1881. 2018.