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