Logic - Grundlagen (5. Vorlesung SemWeb WS11/12) - Semantic Web Grundlagen

Vorlesung
Logic - Grundlagen
 
Dozentin Birte Glimm
Datum 31. Oktober 2011
von 14:00
bis 16:00
Ort Gebäude O27 Raum H21
Veranstaltungsreihe SemWeb WS11/12
 
Nummer 5

 

Diese Vorlesung wiederholt noch einmal die grundlegenden Ideen der formalen Logik, unter anderem anhand der beliebten «Obstlogik». Die dabei vermittelten Konzepte der Modelltheorie sind später auch für die Semantik von RDF, RDFS und OWL von Bedeutung.


Folien: