University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Follow us on twitter
Linked in
Linked in
Google plus
Google plus
Stumble Upon
Stumble Upon

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 - Sarunas Marciuska
Sarunas Marciuska
Personal photo - Vanina Martinez
Maria Vanina Martinez
Personal photo - Rob Shearer
Rob Shearer
Personal photo - Frantisek Simancik
Frantisek Simancik
Personal photo - Gerardo Simari
Gerardo I. Simari
Personal photo - Giorgos Stoilos
Giorgos Stoilos
Personal photo - Zhe Wang
Zhe Wang
Personal photo - Mikalai Yatskevich
Mikalai Yatskevich

Selected Publications

View all

BootOX: Practical Mapping of RDBs to OWL 2

Ernesto Jimenez−Ruiz‚ Evgeny Kharlamov‚ Dmitriy Zheleznyakov‚ Ian Horrocks‚ Christoph Pinkel‚ Martin G. Skjæveland‚ Evgenij Thorstensen and Jose Mora.

In Proc. of International Semantic Web Conference (ISWC). 2015.

Optique: Zooming in on Big Data

Martin Giese‚ Ahmet Soylu‚ Guillermo Vega−Gorgojo‚ Arild Waaler‚ Peter Haase‚ Ernesto Jiménez−Ruiz‚ Davide Lanti‚ Martín Rezk‚ Guohui Xiao‚ Özgür L. Özçep and Riccardo Rosati

In IEEE Computer. Vol. 48. No. 3. Pages 60–67. 2015.

RODI: A Benchmark for Automatic Mapping Generation in Relational−to−Ontology Data Integration

Christoph Pinkel‚ Carsten Binnig‚ Ernesto Jiménez−Ruiz‚ Wolfgang May‚ Dominique Ritze‚ Martin G. Skjæveland‚ Alessandro Solimando and Evgeny Kharlamov

In The Semantic Web. Latest Advances and New Domains − 12th European Semantic Web Conference‚ ESWC 2015‚ Portoroz‚ Slovenia‚ May 31 − June 4‚ 2015. Proceedings. Pages 21–37. 2015.


Knowledge Representation and Reasoning website


Current projects

Completed projects