Episodes
OWL Semantik
Published 01/11/10
Tableaux-Verfahren
Published 01/04/10
Motivation
Published 01/04/10
Beschreibungslogiken Überblick
Published 01/04/10
ALC - Syntax und Semantik
Published 01/04/10
Beschreibungslogiken
Published 01/04/10
Tableaux Transformation
Published 01/04/10
Rückblick und RDFS Semantik
Published 12/07/09
Einfache Interpretation
Published 12/07/09
RDF Interpretationen
Published 12/07/09
RDF Interpretationsfunktion
Published 12/07/09
RDFS Folgerungen
Published 12/07/09
RDFS Schlussfolgerungen und Inkonsistenzen
Published 12/07/09
Logik-Grundlagen
Published 11/30/09
FOL: Syntax
Published 11/30/09
Normalformen
Published 11/30/09
Konjunktive Normalform
Published 11/30/09
Resulotion
Published 11/30/09
Eigenschaften von PL und FOL
Published 11/30/09
Datenaustausch heterogener Systeme
Published 11/23/09
Klassische griechische Philosophie
Published 11/23/09
Komponenten und Modelle
Published 11/23/09
Grundlage ALC
Published 11/23/09
Ontologietypen und Kategorien
Published 11/23/09
RDF Schema
Published 11/09/09
