As part of the exam, students are asked to carry out a project in which the modeling part is done using Protege (i.e. Project Report) and presentation (no oral and no midterms are foreseen).
The project report should be prepared as per guideline provided in the class. Each project is assigned to groups of 2 students.
PREREQUISITES: there are NO prerequisities. Having
attended Mathematical Logic is a plus.
DATES
December 8th Report submission
December 14th presentation at 16:00-18:00 room B102
December 16th presentation at 11:00-13:00 room B103
December 21th presentation at 16:00-18:00 room B102
January 27th presentation at 11:00-13:00 room B103
