At give indsigt i de logiske teorier, der ligger til grund for begrebsmodellering, formelle ontologier og vidensrepræsentation i videnbaserede programmelsystemer.
Læringsmål:
En studerende, der fuldt ud har opfyldt kursets mål, vil kunne:
Formulere anvendelsdomænemodeller vha ER
Forklare egenskaber for den ontologiske inklusionsrelation
Formulere gitterspec. af domæner
Anvende gitre i induktiv databasesøgning
Forklare forhold mellem Hasse diag. og algebraiske gitre
Forklare relation mellem gitre og beskrivelseslogik
Formulere specifikationer vha. beskrivelseslogik
Diskutere de forskellige del-helhedrelationer
Formulere del-helhedsaksiomer
Kursusindhold:
Relationsdatabasemodellen. Begrebsmodellering med ER-diagrammer. Ontologier. Algebraiske gitre og deres anvendelse til domænemodellering. Beskrivelseslogik. Del-helhed relationen.
Mulighed for GRØN DYST deltagelse:
Kontakt underviseren for information om hvorvidt dette kursus giver den studerende mulighed for at lave eller forberede et projekt som kan deltage i DTUs studenterkonference om bæredygtighed, klimateknologi og miljø (GRØN DYST). Se mere på http://www.groendyst.dtu.dk/kursustilmelding.aspx
