Note - Changes in winter semester 2015:
In winter semester 2015 the organization of this course will be changed compared to previous semesters.
Support and questions: kbsbi-2015w@kr.tuwien.ac.at
Attention:
- The first lecture is on Fri Oct 2 2015, where important organisatorial information will be presented. The later course dates are provisional.
- Mandatory course registration via TISS within Sep 21 to Oct 9. Belated registration must be rejected.
- Mandatory entry exam via TUWEL will be on Wed Oct 14 and Thu Oct 15, always 00:00-23:55.
- If you pass the entry exam, you will automatically get a negative certificate at the end of the course in case you do not further participate in the course.
- 2 mandatory projects
- exercises (bring extra points)
- Lectures Mo 09:00-11:00 and Fr 11:00-13:00
Impartation of knowledge and techniques which are relevant for knowledge based systems for business informatics.
Didactic Procedure
- Lectures and Exercises
- Processing of exercises by students.
- Two programming projects
- Exercises (extra points can be earned) to be solved at home followed by an individual discussion
Foundations of knowledged based systems (search, rules, description logics, answer set programming).
Lecturers
Lecture-Part: Uwe Egly und Thomas Eiter
Exercise-Part: Christoph Redl
Course of Action and Topics of the Lecture
- Fri Oct 2: Introduction+History+Architecture (Egly)
- Mon Oct 5: Search for problem solving I (Egly)
- Fri Oct 9: Search for problem solving II (Egly)
- Mon Oct 12: no lecture
- Wed Oct 14 to Thu Oct 15: Mandatory entry test
- Fri Oct 16: Rules I (Egly)
- Mon Oct 19: no lecture
- Fri Oct 23: Rules II (Egly)
- Fri Oct 30: Rules III (Egly)
- Mon Nov 2: no lecture
- Fri Nov 6: no lecture
- Fri Nov 13, 9-11, EI 10 (changed!): Description Logics I (Eiter)
- Fri Nov 13: Description Logics II (Eiter)
- Mon Nov 16: Description Logics III (Eiter)
- Fri Nov 20: Answer Set Programming I (Eiter)
- Mon Nov 23: Answer Set Programming II (Eiter)
- Fri Nov 27: Answer Set Programming III (Eiter)
- Fri Nov 27 23:55: Deadline Project 1 (TUWEL)
- Mon Nov 30: Project discussions OWL
- Tue Dec 1: Project discussions OWL
- Dec 6 23:55: Deadline for Exercise Checkmarks and Registration for a Discussion Slot (TUWEL)
- Dec 17 to Dec 18: Exercise Discussions
- Thu Jan 11, 11-13, EI 7: Questions and Answers Session (Thomas Eiter and Uwe Egly)
- Thu Jan 11, 13-16, Institute 184/3: Option to ask further questions at the institute (Christoph Redl)
- Sun Jan 10 23:55: Deadline Project 2 (TUWEL) [original Deadline from Jan 8 was extended!]
- Mon Jan 11: Main Exam, 13:30-15:30, GM2
Exercise-Part
Mandatory registration within Sep 21-Oct 9
2 Projects
In addition to the 3 exercise sheets, two projects must be solved using ontologies and answer set programming:
- Submission via TUWEL
- Manual grading with mandatory discussion timeslot for Ontology project
- Automatic grading with testcases for ASP project
Project submission deadlines:
- Ontology Project: week 48 of 2015
- Answer Set Programming Project: week 1 of 2016
Important:
- Both projects must be worked out and submitted on time (no belated submission possible).
- Files must comply with the project specification!
- No group work!
- Exercises and projects must be worked out individually
- Finalisation of points after plagiarism check (possibility of fines and negative grades)
Used tools:
Exercises
Exercises will be handed out via TUWEL throughout the semester. The exercises can optionally be solved at home. Students can then check the examples they solved via TUWEL; checkmarks may be changed arbitrarily until the deadline. Afterwards there will be a discussion of your solutions. To this end we will offer slots of 1 hour length (3 students simultanously). The dates of the slots are to be announced. Both checking the examples and registering for a discussion slot needs to be done until Dec 6, 23:55 (strict deadline). (Note: Checking and registration for a slot is separate in TUWEL, but has the same deadline!)
In the discussion, students will be asked questions about their solutions of examples they checked. The discussion will be evaluated with 0-15 points, which are weighted with the fraction of checked examples and rounded to the next integer.
Example: Student X checked 70% of the examples and the discussion is evaluated with 12 points. Therefore he gets 8 extra points.
In case a student does not participate in the discussion, no extra points will be awarded!
References
- S. Russell, P. Norvig: Artificial Intelligence: A Modern Approach (Third Edition). Prentice Hall, 2009
- Charles Forgy: Rete: A Fast Algorithm for the Many Pattern/Many Object Pattern Match Problem. Artificial Intelligence 19:17-37, 1982
- Sebastian Rudolph: Foundations of Description Logics. Reasoning Web 2011, LNCS 6848, pp. 76-136, 2011. Springer
- Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph: Chapter OWL Formal Semantics. In Foundations of Semantic Web Technologies. Chapman & Hall/CRC, 2009, 455 pages.
- Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph: Chapter Ontology Engineering. In Foundations of Semantic Web Technologies. Chapman & Hall/CRC, 2009, 455 pages.
- Thomas Eiter, Giovambattista Ianni, and Thomas Krennwallner. Answer Set Programming: A Primer. Reasoning Web 2009, LNCS 5689, pp. 40-110, 2009. Springer
Exercise-Part
- Entry exam is totalling 3 pts.
- The 2 projects are totalling 17 pts.
- The exercises are totalling 15 extra pts.
Zero tolerance for unfair practice (e.g., plagiarism, copied solutions, ...). All involved persons will be fined with 0 pts. (you may get a negative certificate).
Lecture-Part
- Written closed book exam
- Total pts: 80
The total number of points is the sum of the entry exam (max. 3 pts), the projects (max. 17 pts), the exercises (max. 15 extra pts) and the final exam (max. 80 pts). This sums up to 100 pts+15 extra pts in total.
Grading
Necessary requirements for a positive certificate (you must get enough points to satisfy each individual item on the list below):
- >= 2 points on the entry exam;
- >= 9 points for the two projects; and
- >= 40 points for the written final exam.
Because of the criteria, extra points *cannot* make an otherwise negative grade positive, but can only improve an already positive grade.
If you did not satisfy all items from the requirements list above, you will get a negative certificate:
- In case you fail an item from the projects part, you will get a negative certificate and you have to redo the whole course.
- If you fail the lecture part, you will get a negative certificate, but you may be able to get a positive certificate (thus overriding your previous attempts) if you pass the written final exam at one of the side exam dates. You will have thus 4 tries (main exam + 3 side exams) to pass the written final exam.
Only after you have satisfied each individual item on the requirements list above, you will be graded as follows:
- < 51 pts: N5 (Nicht Genügend)
- >= 51 pts: G4 (Genügend)
- >= 63 pts: B3 (Befriedigend)
- >= 75 pts: U2 (Gut)
- >= 88 pts: S1 (Sehr Gut)