KSG Events
UKZN Honours Course: August 2008
Tommie Meyer will present part of an honours course at UKZN on description logics for reasoning with ontologies. See this page.
Ontology Engineering and Process Modeling Workshop (POW08) : August 2008
A three day ontology engineering and process modeling workshop will be hosted by KSG in August with Swiss Collaborators. See ProcessOntologies.
Past KSG Events
MOWS'08: 1-11 July 2008
A Mini Ontology Winter School (MOWS) is planned for the fortnight 1-11 July 2008. We are very happy that Dr. Paul Buitelaar (http://www.dfki.de/~paulb) of the German Research Centre for Artificial Intelligence (DFKI) has accepted an invitation to present a series of lectures on ontology learning and population from text during the week 7-11 July. From 1-4 July, we will present introductory Protege and Jena tutorials, as well as presentations by Meraka students, staff members and associates. Marijke Keet from the Free University of Bozen / Bolzano will also visit us during July, and present a tutorial on reasoning about part-whole relations in ontologies as part of MOWS'08. We now have a Preliminary Programme for 1-11 July.
KSG Activities
Colloquiums
4 September 2008: Ivan Varzinczak. Action Theory Contraction and Minimal Change. Abstract Slides Source
4 September 2008: Ivan Varzinczak. What Is a Good Action Theory? Abstract Slides Source
28 August 2008: Gavin Rens. A BDI model for High-Level Agent Control with a POMDP Planner. (OpenOffice) (PowerPoint; may not display correctly)
7 August 2008: Ken Halland. Abduction in Description Logics (Slides).
Reading Groups
Reading groups will be at Meraka in the KSG meeting room, Building 43, Room A123, which is in the A-block just past Meraka main reception. Directions to the CSIR and Meraka can be found here. It is best to enter at the South Entrance or Gate 1. After the gate, turn right. Meraka is then the first building you find on your left, and A block is on the north side
OWL
Thursdays 9:00-10:00. We will start Thursday 13 November 2008 and look at Explanation and the paper at http://owl.cs.manchester.ac.uk/explanation/.
Older Reading Groups and material
Description Logics and Databases reading group:
We were reading Chapter 16 of the Description Logic Handbook, and a paper on DLs for conceptual data modelling.
Ontology reading group:
Thursdays 11:30-12:30. We were busy with Semantics@Work, that can be found here.
Workshops
Ontology 101
This workshop will be presented regularly as four 3h sessions. We are busy with a workshop that started middle April. We work through this paper. Bring a laptop with Protege4 installed.
Formal tuition
KSG is offering two Hons. courses to Unisa students on behalf of the School of Computing at Unisa, these being COS407C (Formal Logic) and COS460H (Description Logics). These courses are only available to registered Unisa students. The reading list for COS460H can be found here.