Donnerstag, 22. Januar 2009

Handout zur Vorlesung vom 22.1.2009

Anbei das Handout zur heutigen Vorlesung vom 22.01.2009
In der heutigen Vorlesung werden wir uns Gedanken über die Semantik von OWL machen. Ein "Trick" besteht darin, dass wir die Semantik von OWL und der dahinterstehenden Beschreibungslogiken (ALC, SHIF, SHOIN(D)) auf die Prädikatenlogik (FOL) beziehen, d.h. wir versuchen OWL-Konstrukte auf DL und DL widerun auf FOL abzubilden.

Dann betrachten wir noch das Tableaux-Verfahren, dass uns hilft, Schlussfolgerungen auf einen Widerspruchsbeweis (proof by refutation) zurückzuführen (ähnlich dem Resolutionsverfahren).

Zusätzliche Materialien finden Sie wie immer in bibsonomy unter dem link

Keine Kommentare: