Ontologien im Semantic Web (OntoSWeb)7.5 ECTS
(englische Bezeichnung: Ontologies for the Semantic Web)

Lehrveranstaltungen:

• • Ontologien im Semantic Web
    (Vorlesung, 4 SWS, Lutz Schröder, Do, 16:15 - 17:45, 01.255-128; Fr, 12:15 - 13:45, 01.255-128)

Inhalt:

Algorithmen für Aussagenlogik Tableaukalküle Modal- und Beschreibungslogiken Ontologieentwurf

Lernziele und Kompetenzen:

Fachkompetenz

Wissen

Die Studierenden geben Definitionen der Syntax und Semantik verschiedener WIssensrepräsentationssprachen wieder und legen wesentliche Eigenschaften hinsichtlich Entscheidbarkeit, Komplexität und Ausdrucksstärke dar.

Anwenden

Die Studierenden wenden Deduktionsalgorithmen auf Beispielformeln an. Sie stellen einfache Ontologien auf und führen anhand der diskutierten Techniken Beweise elementarer logischer Metaeigenschaften.

Analysieren

Die Studierenden klassifizieren Logiken nach grundlegenden Eigenschaften wie Ausdrucksstärke und Komplexität. Sie wählen für ein gegebenes Anwendungsproblem geeignete Formalismen aus.

Lern- bzw. Methodenkompetenz

Die Studierenden erarbeiten selbständig formale Beweise.

Sozialkompetenz

Die Studierenden arbeiten in Kleingruppen erfolgreich zusammen.

Weitere Informationen:

Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:
Das Modul ist im Kontext der folgenden Studienfächer/Vertiefungsrichtungen verwendbar:

1. Informatik (Bachelor of Science)
   (Po-Vers. 2009s | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsmodul Künstliche Intelligenz)
2. Informatik (Bachelor of Science)
   (Po-Vers. 2009s | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsmodul Theoretische Informatik)
3. Informatik (Bachelor of Science)
   (Po-Vers. 2009w | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsmodul Künstliche Intelligenz)
4. Informatik (Bachelor of Science)
   (Po-Vers. 2009w | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsmodul Theoretische Informatik)
5. Informatik (Master of Science)
   (Po-Vers. 2010 | Wahlpflichtbereich | Säule der theoretisch orientierten Vertiefungsrichtungen | Vertiefungsmodul Theoretische Informatik)
6. Informatik (Master of Science)
   (Po-Vers. 2010 | Wahlpflichtbereich | Säule der softwareorientierten Vertiefungsrichtungen | Vertiefungsmodul Künstliche Intelligenz)

Studien-/Prüfungsleistungen:

Ontologien im Semantic Web (Prüfungsnummer: 806144)

Prüfungsleistung, mehrteilige Prüfung, benotet

Anteil an der Berechnung der Modulnote: 100.0 %

weitere Erläuterungen:
Die Modulnote setzt sich zu 50% aus dem Ergebnis einer 20-minütigen mündlichen Prüfung am Semesterende und zu 50% aus der Bewertung der Leistungen aus dem Übungsbetrieb zusammen.

Erstablegung: WS 2014/2015, 1. Wdh.: SS 2015 (nur für Wiederholer), 2. Wdh.: keine Wiederholung

1. Prüfer:

Lutz Schröder