Skip to main content

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.

Faculty

Research

Students

Past Members

Ana Armas
Andrew Bate
Cristina Feier
Evgeny Kharlamov
Markus Krötzsch
Clemens Kupke
Despoina Magka
Enrico Malizia
Sarunas Marciuska
Maria Vanina Martinez
Robert Piro
Anthony Potter
Livia Predoiu
Rob Shearer
Frantisek Simancik
Gerardo I. Simari
Giorgio Stefanoni
Giorgos Stoilos
Oana Tifrea-Marciuska
Zhe Wang
Zhenghua Xu
Mikalai Yatskevich
Dmitriy Zheleznyakov
Yujiao Zhou

Selected Publications

View All