Messages

We have now published the Answers and grading guidelines for the exam. Most of the students should be able to see their grades online. 

In total, we have 46 candidates who took the exam, 20 in IN3060 and 26 in IN4060.

We are very happy to see that quite many students got good grades. Around 50% students got A or B for both IN3060 and IN4060 courses. 

Congratulations!

Have a nice summer :)

Please check this page for questions during the exam

I would like to clarify the rules of using mattermost channel tomorrow during the exam. 

If you have any questions during the exam, you are only allowed to send direct/private messages to Ole Magnus and Jieying. You are NOT allowed to send any messages in IN3060 channel. Otherwise, it will be counted as cheating. Any kind of communication about the exam between students, even in public is NOT allowed.

If you have questions about the first three sections, please send direct messages to @olemholt. If you have general questions or the questions are about the last two sections, please send messages to @jieyingc. 

We will send messages on this channel, if we find some questions that we would like to clarify. Additionally, we will also summarize all questions on this website: /studier/emner/matnat/ifi/IN3060/v21/eksamen/home-exam.html.

Good luck!

(\forall R.C)^I contains domain elements that have R successor to domain elements that interpret C and also the domain elements that don't have R successor.

(\exists R.C)^I contains domain elements that have at least one R successor to domain elements that interpret C.

One thing we should notice when we try to write DL axioms to model a statement is that, it is better to make sure that this DL statement should work for every interpretation.

For example, if we want to model a statement that a woman is a person who has only female gender. It is not sufficient to write "Woman \subseteq Person \sqcap \forall hasGender.Female". Because if, in the interpretation, we have a person that don't have any gender information. In this case, the reasoner will think this person is a woman. But in fact, this person might be a man. On the other hand, It is also not sufficient to write "Woman \subseteq Person \sqcap \exists hasGender.Female". Since, for examp...

Here is the front page of our exam on 11th of June. Please read it before the exam. If you have any questions, feel free to ask lecturer or student administration.

--------------------------------------------------------------------

We share the questions that come from students and provide answers here:

Q: About multiple choices in the exam. Is it better to choose nothing in multiple choice questions, if you don't know the answer?

A: If you didn't choose any option, you will get 0 points, but if you choose one, you will have a 25% chance to get at least 1 point. In that case, if you choose the wrong answer, you will still get 0 points. I guess the smartest way is to choose one option that you think is most likely to be correct. You have nothing to lose. But of course, if it is possible, it is best to select all correct answers.

Please read the following text and the front page of the exam 2021 before 11th of June. 

-----------------------------------------------------------

It is important that you read this cover page carefully before you start. 

General information:

 ? Important messages during the exam are given directly from the course teacher on the course's semester page or in Canvas (if used in your course). It is therefore important that you check the course's semester page / Canvas room regularly.

? Your answer should reflect your own independent work and ...

2010: Exam and its Solution

2011: Exam and its Solution

2012: Exam and its Solution

2013: ...

If you have any questions about OTTR and oblig 7,  please write your questions on the google document, under "Questions about OTTR", before 5pm today. 

Hi, Mr. Oblig now accepts tests for oblig 7. Sorry for the delay!

You can use https://weblutra.ottr.xyz/ to test your templates.

On 14th of May, I will give our last new lecture "Open Data", which will last around 45-50 mins. After the break, Han will give a group section of "Open Data".

On 21st of May, I will introduce relevant information about the final exam and answer questions that are relevant to the final exam. After that, we will have a kahoot quiz. The top 3 students of this quiz will receive little gifts. The quiz will cover all materials that we have learned in our course.

If you have any questions, or you found some slides or exercises on oblig that are difficult to understand and would like me further explain it during the course and the last lecture "repetition". Please write it on the google document before 17th of May. If you found that other students have put the questions that you are...

There will be a digital group session on Monday 10.05 at 14:15. 
Join Zoom Meeting: [link] 

This group session will focus on Oblig7. 

*Please remember to check the feedback of Oblig6 in Devilry. 

There will be a digital group session on Monday 03.05 at 14:15. 
Join Zoom Meeting: [link] 

There will be a digital group session on Monday 26.04 at 14:15. 
Join Zoom Meeting: [link] 

And this group session will focus on using Exam 2019 to review the concepts in lectures. Solution with grading instructions

Dr. Christian M. Hansen from Aibel and Dr. Dirk Walther from DNV will give a guest lecture at 10:15am this Friday. The main topic is industrial applications of semantic technologies.

Please find the titles and abstracts of their guest lectures below.
¡ª¡ª¡ª¡ª¡ª¡ª¡ª¡ª¡ª¡ª¡ª¡ª¡ª¡ª¡ª¡ª¡ª¡ª¡ª¡ª¡ª¡ª¡ª¡ª¡ª¡ª¡ª¡ª¡ª¡ª¡ª¡ª¡ª¡ª¡ª¡ª¡ª¡ª¡ª
Title: OSP Interface Specification Ontology - A Use Case for Validation
Speaker: Dirk Walther, PhD

Abstract: The Open Simulation Platform (OSP) is an open-source industry initiative for co-simulation of maritime equipment, systems and entire ships. The OSP-IS ontology is part of the OSP Interface Specification, which enables faster construction of simulators by simplifying the connection process, and validation of semantically correct simulations. The purpose ...

There will be a digital group session on Monday 19.04 at 14:15. 
Join Zoom Meeting: [link] 

There will be a digital group session on Monday 12.04 at 14:15. 
Join Zoom Meeting: [link] 

This group session will focus on helping with Oblig6. 

*Please remember to check the feedback of Oblig5 in Devilry.

Oblig 6 will be published this Friday. The deadline is still 16th of April. 

There will be a digital group session on Monday 22.03 at 14:15. 
Join Zoom Meeting: [link] 

See here for weekly exercises10.

There will be a digital group session on Monday 15.03 at 14:15. 
Join Zoom Meeting: [link] 

See here for exercises09.

There will be a digital group session on Monday 08.03 at 14:15. 
Join Zoom Meeting: [link] 

See here for Mandatory assignment 5 - Semantics.

See here for exercises08.

For IN4060 students, before you start to answer extra question in oblig5, please watch the video given by Prof. Martin Giese and read additional materials [pdf].