|
Ontologien im Semantic Web (OntoSWeb)7.5 ECTS (englische Bezeichnung: Ontologies for the Semantic Web)
Modulverantwortliche/r: Lutz Schröder Lehrende:
Lutz Schröder
Studienfächer/Prüfungsordnungsmodule:
Einfrieren der UnivIS-Modul-Beschreibung: 11.10.2021
Ontologien im Semantic Web (111504)
Startsemester: |
WS 2021/2022 | Dauer: |
1 Semester | Turnus: |
jährlich (SS) |
Präsenzzeit: |
60 Std. | Eigenstudium: |
165 Std. | Sprache: |
Deutsch und Englisch |
Lehrveranstaltungen:
Inhalt:
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.
Literatur:
- M Krötzsch, F Simancik, I Horrocks; A description logic primer, arXiv, 2012
F. Baader et al. (ed.): The Description Logic Handbook, Cambridge University Press, 2003
M. Huth, M. Ryan: Logic in Computer Science, Cambridge University Press, 2004
L. Libkin: Elements of Finite Model Theory, Springer, 2004
Weitere Informationen:
Schlüsselwörter: Beschreibungslogik, Ontologien, Wissensrepräsentation, Deduktion, automatisches Schließen, Reasoning, Aussagenlogik, Tableaukalküle, Komplexität, Ausdrucksstärke
www: http://www8.informatik.uni-erlangen.de/course:osm
Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan: Das Modul ist im Kontext der folgenden Studienfächer/Vertiefungsrichtungen verwendbar:
- Artificial Intelligence (Master of Science)
(Po-Vers. 2021s | TechFak | Artificial Intelligence (Master of Science) | Gesamtkonto | Wahlpflichtmodulbereich | Symbolic Artificial Intelligence | Ontologien im Semantic Web)
Studien-/Prüfungsleistungen:
Ontologien im Semantic Web (Prüfungsnummer: 806144)
zugeh. "mein campus"-Prüfung: | - 806144 Ontologien im Semantic Web (Gewichtung: 100.0 %, Prüfung, Form: mehrteilige Prüfung, Zehntelnoten, Dauer: -, 7.5 ECTS, Prüfung).
|
- Prüfungsleistung, mündliche Prüfung, Dauer (in Minuten): 30, benotet
- Anteil an der Berechnung der Modulnote: 100.0 %
- weitere Erläuterungen:
Die Note der Prüfungsleistung setzt sich zu 50% aus dem Ergebnis einer 30-minütigen mündlichen Prüfung am Semesterende und zu 50% aus der Note für die Bearbeitung von fünf Übungsblättern zusammen.
- Prüfungssprache: Deutsch und Englisch
- Erstablegung: WS 2021/2022, 1. Wdh.: SS 2022 (nur für Wiederholer), 2. Wdh.: WS 2022/2023 (nur für Wiederholer)
1. Prüfer: | Lutz Schröder (100190) |
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|