Ontologien im Semantic Web 2018 /CourseID:790

Detailed information

Most recent entry on 2018-07-12 

Organisational Unit

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
2019-07-25
IdM-login
Schröder, Lutz
Prof. Dr. Lutz Schröder
2014-07-10
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2014-07-10
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2017-07-21
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2016-02-01
Free

More courses in this category "Technische Fakultät"

Riehle, Dirk
Prof. Dr. Dirk Riehle
2011-02-07
Studon
Schloss1
Dr.-Ing. Detlef Freitag
2020-07-22
Studon
Maier, Andreas
Prof. Dr. Andreas Maier
2016-06-21
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2015-01-29
Free
Lenz, Richard
Prof. Dr. Richard Lenz
2010-07-20
Free