Professor Tommie Meyer, from the Department of Computer Science at UCT will present a talk entitled, "Defeasible Reasoning for Ontologies".

In this talk  he will briefly explain what ontologies are, what defeasible reasoning is, why it is useful to have defeasible reasoning for ontologies, and talk about some recent work we have done to implement tools for doing so.

Tommie Meyer is a professor in the Department of Computer Science at UCT, the UCT-CSIR Chair in Artificial Intelligence, and head of the Centre for Artificial Intelligence Research (CAIR) at the CSIR. Prior to this he was a chief scientist at the CSIR, a senior researcher at NICTA in Australia, conjoint associate professor at the University of New South Wales in Australia,  associate professor at  the University of Pretoria, and senior lecturer at the University of South Africa. He is recognised internationally as an expert in Knowledge Representation and Reasoning. He is a member of the steering committees of the International Conference on Principles of Knowledge Representation (KR) and the Description Logic workshop series,  chair of the steering committee of the Nonmonotonic Reasoning workshop series, associate editor of the journal Artificial Intelligence, and editorial board member of the Journal of Artificial Intelligence Research. Because of his efforts the KR conference will be held in South Africa in 2016. This will only be the second time in its 28 year history that KR will be held outside of North America and Europe.