Ontologien im Semantic Web 2018

Detailed information

Most recent entry on 2018-07-12 

Faculty

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Recording type

Vorlesungsreihe

Via

Free

Language

German

  • 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

Associated Clips

Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Ontologien im Semantic Web
Prof. Dr. Lutz Schröder
2018-04-09
Free
01:20:28
2
Ontologien im Semantic Web
Prof. Dr. Lutz Schröder
2018-04-19
Free
01:26:36
3
Ontologien im Semantic Web
Prof. Dr. Lutz Schröder
2018-04-23
Free
01:38:16
4
Ontologien im Semantic Web
Prof. Dr. Lutz Schröder
2018-04-26
Free
00:42:05
5
Ontologien im Semantic Web
Prof. Dr. Lutz Schröder
2018-04-30
Free
00:23:43
6
Ontologien im Semantic Web
Prof. Dr. Lutz Schröder
2018-05-14
Free
01:15:51
7
Ontologien im Semantic Web
Prof. Dr. Lutz Schröder
2018-05-17
Free
00:55:48
8
Ontologien im Semantic Web
Prof. Dr. Lutz Schröder
2018-05-24
Free
01:15:01
9
Ontologien im Semantic Web
Prof. Dr. Lutz Schröder
2018-05-28
Free
01:27:54
10
Ontologien im Semantic Web
Prof. Dr. Lutz Schröder
2018-06-04
Free
01:26:12
11
Ontologien im Semantic Web
Prof. Dr. Lutz Schröder
2018-06-11
Free
01:09:54
12
Ontologien im Semantic Web
Prof. Dr. Lutz Schröder
2018-06-14
Free
01:23:33
13
Ontologien im Semantic Web
Prof. Dr. Lutz Schröder
2018-06-18
Free
01:25:31
14
Ontologien im Semantic Web
Prof. Dr. Lutz Schröder
2018-06-28
Free
01:28:55
15
Ontologien im Semantic Web
Prof. Dr. Lutz Schröder
2018-07-09
Free
01:19:13
16
Ontologien im Semantic Web
Prof. Dr. Lutz Schröder
2018-07-12
Free
01:28:59

More courses from Prof. Dr. Lutz Schröder

Schröder, Lutz
Prof. Dr. Lutz Schröder
2015-07-16
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2017-02-06
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2016-02-01
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2012-07-11
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2015-07-17
Free

More courses in this category "Computer Science"

Technik1
2009-11-12
Free
Schloss1
Prof. Dr. Ulrich Rüde
2019-02-05
Passwort
Stamminger, Marc
Prof. Dr. Marc Stamminger
2015-01-26
Studon
Informatikjahr
2006-11-09
Free
Schloss1
Prof. Dr. Günther Greiner
2012-07-16
IdM-login