Information Systems Group

― Knowledge Representation and Reasoning

Knowledge Representation and Reasoning

The Knowledge Representation and Reasoning Group conducts research in knowledge representation formalisms, ontology languages, the design, implementation and optimisation of reasoning systems, and applications in areas such as e-Science and the Semantic Web.

Members of the group were centrally involved in the development of the World Wide Web Consortium (W3C) OWL ontology language, and are leading the development of its successor OWL2. They have also designed the logics and algorithms that underpin OWL(2), and have implemented these algorithms in highly optimised reasoning systems such as HermiT.


The work done by doctoral students forms a crucial part of the research produced by the Knowledge Representation and Reasoning group, and new students are admitted to the group regularly. Visit the ISG studentships page for information on funding opportunities and the application process.

Latest Publications

Completeness Guarantees for Incomplete Ontology Reasones: Theory and Practice. Bernardo Cuenca Grau‚ Boris Motik‚ Giorgos Stoilos and Ian Horrocks. In Journal of Artificial Intelligence Research (JAIR). Vol. 43. Pages 419−476. 2012.

A Novel Approach to Ontology Classification. Birte Glimm, Ian Horrocks, Boris Motik, and Giorgos Stoilos. Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 2012.

Markus Krotzsch, Sebastian Rudolph, Pascal Hitzler. Complexities of Horn Description Logics. In ACM Transactions on Computational Logic (to appear). ACM 2012.

Equality−Friendly Well−Founded Semantics and Applications to Description Logics. Georg Gottlob‚ André Hernich‚ Clemens Kupke and Thomas Lukasiewicz. In J. Hoffmann and B. Selman, editors, Proceedings of the 26th National Conference on Artificial Intelligence (AAAI 2012)‚ Toronto‚ Ontario‚ Canada‚ July 2012. AAAI Press. 2012.

Representing and Querying Validity Time in RDF and OWL: A Logic-Based Approach. Boris Motik. Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 12–13:3–21, 2012.

Large scale Interactive Ontology Matching: Algorithms and Implementation Ernesto Jimenez Ruiz‚ Bernardo Cuenca Grau‚ Yujiao Zhou and Ian Horrocks. Accepted in the 20th European Conference on Artificial Intelligence (ECAI 2012).

Benchmarking Ontology−based Query Rewriting Systems. Martha Imprialou‚ Giorgos Stoilos and Bernardo Cuenca Grau In Proceedings of the Twenty−Sixth AAAI Conference on Artificial Intelligence (AAAI 2012). AAAI Press. July, 2012.

Group Summary


Awards at the ORE 2013 workshop

MORe, HermiT and ELK, three OWL reasoning systems developed in the Knowledge Representation and Reasoning (KRR) group, have been awarded at the OWL Reasoner Evaluation Workshop (ORE 2013).

OWL Reasoner Evaluation Workshop (ORE 2013)

The KRR group co-organises the 2nd edition of the OWL Reasoner Evaluation Workshop (ORE), collocated with DL 2013 workshop.

Best paper prize at SWAT4LS'12

Doctoral Student Despoina Magka's paper entitled 'Ontology-Based Classification of Molecules: a Logic Programming Approach' has received the best paper prize at the 2012 Semantic Web Applications and Tools for Life Sciences workshop [more information].

Boris Motik awarded EPSRC Early Career Fellowship

Boris Motik was recently successful in gaining an EPSRC Early Career Fellowship. The 5 year project, MaSI3: A Massively Scalable Intelligent Information Infrastructure, focuses on Ontology-based Data Management Systems (ODMSs). These are a new kind of data management system specifically designed to deal with complex data, by using natural language queries often across multiple relevant sources [more information].

KRR member wins 'doctoral award' from University of Manchester

Yavor Nenov's PhD thesis "Computability of Euclidean Spatial Logics" has been awarded the Best Thesis Prize of the School of Computer Science at the University of Manchester [more information].

Ian Horrocks (KRR group leader) elected to Academia Europaea

Ian Horrocks has been elected to join Academia Europæa, an eminent organization for European scholars. Academia Europæa was founded in 1988 and has over 2000 members, including around 40 Nobel Laureates [more information].

KRR member wins 'doctoral award' from Spanish university

The Jaume I University of Castellon (Spain) has awarded a "Premio extraordinario de doctorado" (roughly translated as a Extraordinary Doctoral Award) to Ernesto Jimenez-Ruiz who is now a postdoctoral researcher at Oxford's Department of Computer Science [more information].

OAEI 2012: Matching Large Biomedical Ontologies

The KRR group organises the Large Biomedical Ontologies track within the Ontology Alignment Evaluation Initiative.