Mittwoch, 7. Januar 2009

Handout zur Vorlesung

Und wieder das aktuelle Handout zur Vorlesung (jetzt in aktualisierter und korrigierter Version):
Entgegen der Ankündigung in der letzten Vorlesung vor den Weihnachtsferien, werden wir OWL erst in der kommenden Woche behandeln. Wir werden uns also morgen erst einmal mit der Semantik von RDF(S) beschäftigen...

...warum das wichtig ist?

Ganz einfach. Um auch mit Hilfe von RDF(S) korrekte Schlussfolgerungen ziehen zu können (z.B. Konsistenz oder Äquivalenz zu prüfen) müssen wir auch für RDF(S) eine modelltheoretische Semantik einführen. Das Rüstzeug dazu haben wir ja schon.

Keine Kommentare: