UnivIS
Information system of Friedrich-Alexander-University Erlangen-Nuremberg © Config eG 
FAU Logo
  Collection/class schedule    module collection Home  |  Legal Matters  |  Contact  |  Help    
search:      semester:   
 
 Layout
 
printable version

  
 
Module Description Sheet (PDF)

  
 
 Also in UnivIS
 
course list

lecture directory

  
 
events calendar

job offers

furniture and equipment offers

  
 

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

Modulverantwortliche/r: Lutz Schröder
Lehrende: Lutz Schröder

Start semester: WS 2021/2022Duration: 1 semesterCycle: jährlich (SS)
Präsenzzeit: 60 Std.Eigenstudium: 165 Std.Language: Deutsch und Englisch

Lectures:

Inhalt:

  • Algorithmen für Aussagenlogik

  • Tableaukalküle

  • Anfänge der (endlichen) Modelltheorie

  • 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.

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:

Keywords: 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:

  1. Artificial Intelligence (Master of Science)
    (Po-Vers. 2021s | TechFak | Artificial Intelligence (Master of Science) | Gesamtkonto | Wahlpflichtmodulbereich | Symbolic Artificial Intelligence | Ontologien im Semantic Web)
  2. Data Science (Bachelor of Science)
    (Po-Vers. 2020w | Vertiefungsrichtungen | Datenbanken und Wissensrepräsentation (DW) | Ontologien im Semantic Web)
  3. Data Science (Bachelor of Science)
    (Po-Vers. 2020w | Vertiefungsrichtungen | Nicht gewählte Vertiefungsrichtungen | Ontologien im Semantic Web)
  4. Informatik (Bachelor of Arts (2 Fächer))
    (Po-Vers. 2010 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | Vertiefung Informatik I und II | Vertiefungsmodul Künstliche Intelligenz | Ontologien im Semantic Web)
  5. Informatik (Bachelor of Arts (2 Fächer))
    (Po-Vers. 2010 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | Vertiefung Informatik I und II | Vertiefungsmodul Theoretische Informatik | Ontologien im Semantic Web)
  6. Informatik (Bachelor of Arts (2 Fächer))
    (Po-Vers. 2013 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | Vertiefung Informatik I und II | Vertiefungsrichtung Künstliche Intelligenz | Ontologien im Semantic Web)
  7. Informatik (Bachelor of Arts (2 Fächer))
    (Po-Vers. 2013 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | Vertiefung Informatik I und II | Vertiefungsrichtung Theoretische Informatik | Ontologien im Semantic Web)
  8. Informatik (Bachelor of Science)
    (Po-Vers. 2009s | TechFak | Informatik (Bachelor of Science) | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsrichtung Künstliche Intelligenz | Ontologien im Semantic Web)
  9. Informatik (Bachelor of Science)
    (Po-Vers. 2009s | TechFak | Informatik (Bachelor of Science) | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsrichtung Theoretische Informatik | Ontologien im Semantic Web)
  10. Informatik (Bachelor of Science)
    (Po-Vers. 2009w | TechFak | Informatik (Bachelor of Science) | Gesamtkonto | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsrichtung Künstliche Intelligenz | Ontologien im Semantic Web)
  11. Informatik (Bachelor of Science)
    (Po-Vers. 2009w | TechFak | Informatik (Bachelor of Science) | Gesamtkonto | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsrichtung Theoretische Informatik | Ontologien im Semantic Web)
  12. Informatik (Master of Science)
    (Po-Vers. 2010 | TechFak | Informatik (Master of Science) | Gesamtkonto | Wahlpflichtbereich | Säule der theoretisch orientierten Vertiefungsrichtungen | Vertiefungsrichtung Theoretische Informatik | Ontologien im Semantic Web)
  13. Informatik (Master of Science)
    (Po-Vers. 2010 | TechFak | Informatik (Master of Science) | Gesamtkonto | Wahlpflichtbereich | Säule der softwareorientierten Vertiefungsrichtungen | Vertiefungsrichtung Künstliche Intelligenz | Ontologien im Semantic Web)
  14. Mathematik (Bachelor of Science)
    (Po-Vers. | NatFak | Mathematik (Bachelor of Science) | Module des Nebenfachs | Nebenfach Informatik | Vertiefungsmodule | Vertiefungsrichtung Künstliche Intelligenz | Ontologien im Semantic Web)
  15. Mathematik (Bachelor of Science)
    (Po-Vers. | NatFak | Mathematik (Bachelor of Science) | Module des Nebenfachs | Nebenfach Informatik | Vertiefungsmodule | Vertiefungsrichtung Theoretische Informatik | Ontologien im Semantic Web)
  16. Mathematik (Bachelor of Science)
    (Po-Vers. 2019w | NatFak | Mathematik (Bachelor of Science) | weitere Module der Bachelorprüfung | Module des Nebenfachs | Nebenfach Informatik | Vertiefungsmodule | Vertiefungsrichtung Künstliche Intelligenz | Ontologien im Semantic Web)
  17. Mathematik (Bachelor of Science)
    (Po-Vers. 2019w | NatFak | Mathematik (Bachelor of Science) | weitere Module der Bachelorprüfung | Module des Nebenfachs | Nebenfach Informatik | Vertiefungsmodule | Vertiefungsrichtung Theoretische Informatik | Ontologien im Semantic Web)
  18. Wirtschaftsinformatik (Bachelor of Science)
    (Po-Vers. 2017w | ReWiFak | Wirtschaftsinformatik (Bachelor of Science) | Gesamtkonto | Vertiefungsbereich | Ontologien im Semantic Web)
  19. Wirtschaftsinformatik (Bachelor of Science)
    (Po-Vers. 2018w | ReWiFak | Wirtschaftsinformatik (Bachelor of Science) | Gesamtkonto | Vertiefungsbereich | Ontologien im Semantic Web)
  20. Wirtschaftsinformatik (Bachelor of Science)
    (Po-Vers. 2020w | ReWiFak | Wirtschaftsinformatik (Bachelor of Science) | Gesamtkonto | Wahlpflichtbereiche | Wahlpflichtbereich Informatik | Ontologien im Semantic Web)

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)
1. Prüfer: Lutz Schröder

UnivIS is a product of Config eG, Buckenhof