|
Ontologien im Semantic Web (OntoSWeb)7.5 ECTS (englische Bezeichnung: Ontologies for the Semantic Web)
(Prüfungsordnungsmodul: Ontologien im Semantic Web)
Modulverantwortliche/r: Lutz Schröder Lehrende:
Lutz Schröder
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:
- Artificial Intelligence (Master of Science)
(Po-Vers. 2021s | TechFak | Artificial Intelligence (Master of Science) | Gesamtkonto | Wahlpflichtmodulbereich | Symbolic Artificial Intelligence | Ontologien im Semantic Web)
Dieses Modul ist daneben auch in den Studienfächern "Data Science (Bachelor of Science)", "Informatik (Bachelor of Arts (2 Fächer))", "Informatik (Bachelor of Science)", "Informatik (Master of Science)", "Mathematik (Bachelor of Science)", "Wirtschaftsinformatik (Bachelor of Science)" verwendbar. Details
Studien-/Prüfungsleistungen:
Ontologien im Semantic Web (Prüfungsnummer: 806144)
- 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)
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|