University of Oxford Logo University of OxfordDepartment of Computer Science - Home

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.





Past Members

Personal photo - Markus Krötzsch
Markus Krötzsch
Personal photo - Clemens Kupke
Clemens Kupke
Personal photo - Despoina Magka
Despoina Magka
Personal photo - Rob Shearer
Rob Shearer
Personal photo - Frantisek Simancik
Frantisek Simancik
Personal photo - Giorgos Stoilos
Giorgos Stoilos
Personal photo - Zhe Wang
Zhe Wang
Personal photo - Mikalai Yatskevich
Mikalai Yatskevich

Selected Publications

View all

SemFacet: Semantic Faceted Search over Yago

Bernardo Cuenca Grau‚ Evgeny Kharlamov‚ Sarunas Marciuska‚ Dmitriy Zheleznyakov‚ Marcelo Arenas and Ernesto Jimenez−Ruiz

In WWW Demo. ACM. April, 2014.

A Preliminary Approach on Ontology−Based Visual Query Formulation for Big Data

Dmitriy Zheleznyakov Ahmet Soylu Martin G. Skjæveland Martin Giese Ian Horrocks Ernesto Jiménez−Ruiz Evgeny Kharlamov

In 7th Research Conference on Metadata and Semantics Research (MTSR). Vol. 390 of Communications in Computer and Information Science. Pages 201−212. Springer. November, 2013.

Acceptance rate: 32%

OptiqueVQS: towards an ontology−based visual query system for big data

Ahmet Soylu‚ Martin Giese‚ Ernesto Jiménez−Ruiz‚ Evgeny Kharlamov‚ Dmitriy Zheleznyakov and Ian Horrocks

In Fifth International Conference on Management of Emergent Digital EcoSystems (MEDES). Pages 119−126. ACM. October, 2013.


Knowledge Representation and Reasoning website


Current projects

Completed projects