University of Cape Town
The centre for artificial intelligence research of the University of Cape Town, headed by prof. Tommie Meyer collaborates since many years with University of Luxembourg in knowledge representation and reasoning, with a special glance at defeasible information and aspects of change. University of Cape Town is a partner in the H2020 MIREL project, where the joint research is applied to representation and reasoning on norms.
University of Cape Town is international leader in knowledge representation and reasoning, in particular the extension of modal and description logic languages with constructs to model defeasibility, as well as ontology-based modelling and data access. Nowadays these are issues that are becoming increasingly important in a variety of domains represented as logic-based ontologies, among which legal informatics, where the use of ontologies for representing legal knowledge become popular in order to enhance the functionalities of current legal document management systems.