Home
July 5th, 2010
KRR is a research group within the Meraka Institute at the CSIR focusing on modelling and reasoning with formal ontologies based on description logics. We also conduct research on the following related aspects of knowledge representation and reasoning:
- belief revision;
- cognitive robotics;
- constraint solving;
- information integration;
- nonmonotonic and non-classical reasoning;
- ontology construction;
- ontology engineering;
- reasoning about action.
KRR currently consists of three permanent staff members, two joint staff members, one postdoc, and approximately 20 postgraduate (MSc and PhD) students, of whom four are full-time students on CSIR studentships.