Vorlesung: Semantic Web (KI, XPS) SoSe 02

Dozent: Ralf Möller

Inhalt:

1. Einführung, Symbol-Manipulating Automated Reasoning Techniques
2. Einfache symbolische Repräsentationsansätze, Semantische Netze
3. KL-ONE, Einführung in Beschreibungslogiken
4. Forsetzung Beschreibungslogiken
5. Vertiefende Anwendungsbeispiel, Spracherweiterungen
6. RDF, RDFS, Schließen mit Bezug auf algebraische Theorien
7. XML-Schema, DAML/OWL, Schließen mit verschiedenen Ontologien
8. Algorithmus fuür ALCN-Konsistenztest, Suchstrategien fuür Konsistenztest-Implementierung
9. Zeitliche und raäumliche Zusammenhaänge Qualitative Beziehungen
10. Agenten, Semantic Web, Kommunikation und Inferenz
11. Dienstrecherche/-interoperation/-komposition, DAML-S/OWL-S
12. Annahmen-basiertes Schließen, Default-Schließen und Abduktion