University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
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.

People

Faculty

Research

Students

Past Members

Personal photo - Markus Krötzsch
Markus Krötzsch
Personal photo - Clemens Kupke
Clemens Kupke
Personal photo - Despoina Magka
Despoina Magka
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

Towards annotating potential incoherences in BioPortal mappings

Francisco M. Couto Daniel Faria Ernesto Jiménez−Ruiz Catia Pesquita Emanuel Santos

In International Semantic Web Conference. Vol. LNCS 8797. October, 2014.

Detecting and Correcting Conservativity Principle Violations in Ontology−to−Ontology Mappings

Alessandro Solimando‚ Ernesto Jimenez−Ruiz and Giovanna Guerrini

In International Semantic Web Conference. Vol. LNCS 8797. Pages 1−16. October, 2014.

Nonparametric Bayesian Logic

Peter Carbonetto‚ Jacek Kisynski‚ Nando de Freitas and David Poole

In Uncertainty in Artificial Intelligence (UAI). Pages 85–93. Arlington‚ Virginia. 2005. AUAI Press.

Links

Knowledge Representation and Reasoning website

Info

Current projects

Completed projects

Themes

SHARE THIS: