| Dato | Undervises av | Sted | Tema | Kommentarer / ressurser |
| 02.09.2010 | Martin G. Skj?veland? | Buerommet? | Welcome!? | Registration of students, and introduction to course and the logic group at IfI.? |
| 09.09.2010 | Arild Waaler ? | Buerommet? | Planning, Introduction to DL-Lite? | Detailed planning of the semester. The main plan is learning DL-Lite by reading Ontologies and Databases: The DL-Lite Approach [CAL09].? |
| 16.09.2010 | Martin G. Skj?veland? | Buerommet? | DL-LiteA,id : syntax, semantics and queries.? | Read chapter 1 and 2 in [CAL09]. ? |
| 23.09.2010 | Martin G. Skj?veland? | Buerommet? | DL-LiteA,id : syntax, semantics and queries contd.? | Read chapter 2 in [CAL09].? |
| 30.09.2010 | Martin G. Skj?veland? | Buerommet? | DL-LiteA,id : syntax, semantics and queries contd.? | Read chapter 2 (4) in [CAL09].? |
| 07.10.2010 | ? | ? | Autumn holidays? | ?? |
| 14.10.2010 | Tormod Vaksvik H?valdsrud? | Buerommet? | DL-Lite definitions by example? | Read chapter 2 in [CAL09].? |
| 21.10.2010 | Vegard Nossum ? | Buerommet? | ORM, UML og DL-LiteA,id plus a handy summary sheet: ORM, UML og DL-LiteA,id. ? | Read chapter 3 in [CAL09]. See also orm.net and relevant lectures in INF1300. ? |
| 28.10.2010 | Arild Waaler ? | Buerommet? | Relational database theory: languages, queries, constraints.? | Read chapters 3,4,6 in Foundations of Databases by Abiteboul, Hull and Vianu [foDB]. Available online, see bottom of this page, which also contains slides over the same subject.? |
| 04.11.2010 | ? | Buerommet? | No lecture this week.? | ? |
| 11.11.2010 | J. Henrik Forssell? | Buerommet? | Introduction to first-order logic and databases.? | CANCELLED.? |
| 18.11.2010 | Arild Waaler ? | Buerommet? | Relational database theory, contd: Homomorphism theorem.? | Read chapters 3,4,6 in [foDB]. ? |
| 25.11.2010 | Arild Waaler, Espen Lian ? | Buerommet? | Relational database theory, contd: The Chase. Church-Rosser property? | Read chapters 8,(9) in [foDB]. ? |
| 02.12.2010 | Olav Ligaarden ? | Buerommet? | Relational database theory, contd: tdgs, edgs, the Chase.? | Read chapter 10 in [foDB]. ? |
| 09.12.2010 | Martin G. Skj?veland, Arild Waaler? | Buerommet? | Reasoning over Ontologies? | Read chapter 4 in [CAL09].? |
| 16.12.2010 | Martin G. Skj?veland, Arild Waaler? | Buerommet? | Query Answering over Ontologies? | Read chapter 5 in [CAL09].? |
Undervisningsplan
Publisert 23. nov. 2010 15:39
- Sist endret 23. nov. 2010 15:51