Home
August 16th, 2012
Maintenance of this website was discontinued in 2011. The 2012 KRR website is currently under construction.
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.