Beskjeder
In the exam, you may use any written (or printed) material.
The next group sessions will be used to work though a solution for the last oblig and for last year's exam.
The group session 20.05 is cancelled since there is no lecture in this week.
Oblig 5 is cancelled, i.e., there will be no more mandatory exercises this semester.
The exam from 2010 is now published on the course page.
Oblig 4 is corrected and the results will be available in Devilry today. The due date for the second attempt is extended with one week; new due date is 09.05.2011 23:59. We encourage also those of you who have not delivered oblig 4 to try again for the second attempt. In order to pass the oblig you need to show that you have some understanding of each of the four main exercises, especially you need to successfully make one interpretation, one countermodel and one proof in exercise "Model Semantics". Look at the solutions for the group exercises for help and ask the group teacher.
Oblig3: There are some inconsistencies in what the exercises tells you to do and what Mr. Oblig says is correct. If in doubt do what the exercise says. The errors from Mr. Oblig will be corrected today.
Oblig 3 is published. Please check that you are registered in Delivery by logging on to https://devilry.ifi.uio.no/ and making sure you find oblig3 as an assignment for INF3580.
MGS
A minor clarification of the oblig 2 text. It says "You shall assume that the prefixes sim and fam are defined in the model ..." Since the RDF serialisation N-TRIPLES does not allow for defining prefixes, you can thus assume that the input file is not N-TRIPLES.
Oblig 1 is corrected, and results and comments are published on devilry.
A solution to oblig 1 also is publised .
MGS
Oblig 2 is republished with minor corrections in the subsection "Executing program". There were errors in the command for compiling and running the java program.
I have also published a zip file containing the Makefile and jena jar files, so there is no need to change the java classpath. Read more about this under "Executing program" in the oblig text.
MGS
Mr. Oblig is down due to server problems. ifi-drift has been notified. We will keep you posted!
Oblig 2 is published. Please check that you are registered in Delivery by logging on to https://devilry.ifi.uio.no/ and making sure you find oblig2 as an assignment for INF3580.
MGS
Oblig 1 is published. Please check that you are registered in Delivery by logging on to https://devilry.ifi.uio.no/ and making sure you find oblig1 as an assignment for INF3580.
MGS
There have been some problems with making Eclipse and Protégé work on the computers for last week's exercises. However, the room for the remaining exercises will be Fortress, and it has Linux installed, which we used last semester and has the necessary software already installed. Run Protégé with the command protege.
Solutions for exercises 1 are now published on the exercise page. It contains a recipe for how I got the HelloSemanticWeb program working on an Ifi linux lab computer (in Fortress). If you did not make it work last week, then find yourself a linux lab computer (or your personal computer) and try now.
MGS