Ontologien im Semantic Web (OntoSWeb) (Wintersemester 2016/17)
Dozent: Lutz Schröder
Vorlesung, 4 SWS, 7.5 ECTS
Geeignet als BA-INF-Wahlpflichtmodul, Vertiefungsrichtungen Theoretische Informatik oder Künstliche Intelligenz, und als MA-INF-Wahlpflichtmodul in der Säule der theoretisch orientierten Vertiefungsrichtungen.
Eine kurze Inhaltsbeschreibung findet sich hier.
Materialien
Ulrich Rabenstein hat dankenswerterweise seine Mitschrift vom WiSe 2013/14 zur Verfügung gestellt (der Inhalt kann im aktuellen Semester davon abweichen).
Ferner gibt es eine freundlicherweise von Franz Köferl überlassene Mitschrift vom WiSe 2014/15:
- Prädikatenlogik erster Stufe;
- Algorithmik der Aussagenlogik;
- Beschreibungslogik;
- PSPACE-Härte und EL;
und schließlich die getexte Mitschrift (Revision 15112) von Hans-Peter Deifel, ebenfalls vom WiSe 2014/15, im Moment unter laufender Überarbeitung.