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.
