Wenn Sie diesen Text sehen, ist auf ihrem Gerät noch nicht das neue Layout geladen worden. Bitte laden Sie diese Seite neu (ggf. mit gedrückter 'Shift'- oder 'Alt'-Taste) oder in einem 'privaten Fenster'.
Weitere Hinweise unter https://www.uni-hildesheim.de/wiki/lsf/faq/fehler.im.layout.

Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
  1. SucheSuchen         
  2. SoSe 2022
  3. Hilfe
  4. Sitemap
Switch to english language
Startseite    Anmelden     

Beschreibungslogik - Einzelansicht

Grunddaten
Veranstaltungsart Vorlesung mit Übung Learnweb   Logo Learnweb
Veranstaltungsnummer 3650 Kurztext DeLo
Semester WiSe 2021/22 SWS 4
Erwartete Teilnehmer/-innen 15 Max. Teilnehmer/-innen
Rhythmus i.d.R. jedes 2. Semester Studienjahr / Zielgruppe
Credits 6
Hyperlink   Evaluation Ja (als gesamte Veranstaltung - online)
Sprache deutsch
Termine Gruppe: 1-Gruppe iCalendar Export
  Tag Zeit Rhythmus Dauer Raum (mögliche Änderungen beachten!) Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
iCalendar Export
Di. 16:00 bis 18:00 c.t. Einzeltermin am 02.11.2021 Gebäude C (Samelson-Campus) - C 213 (Seminarraum) Raumplan        
Einzeltermine anzeigen
iCalendar Export
Di. 16:00 bis 18:00 c.t. wöchentlich von 09.11.2021  Externes Gebäude - Online-Lehre (ggf. folgt Raumangabe für Ausnahme Präsenzlehre) Raumplan        
Einzeltermine anzeigen
iCalendar Export
Do. 16:00 bis 18:00 c.t. wöchentlich Gebäude B (Samelson-Campus) - B 040 (Seminarraum) Raumplan        
Gruppe 1-Gruppe:


Zugeordnete Person
Kontaktperson (durchführend) Zuständigkeit
Jung, Jean Christoph, Dr. verantwortlich und durchführend
LSF - Module
Modulkürzel Modultitel
MIT-BesLog Beschreibungslogik
Zuordnung zu Einrichtungen
Inst. für Informatik
Abt. Theoretische Informatik
Inhalt
Literatur

* Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler. AnIntroduction to Description Logic. Cambridge UniversityPress, 2017.

Lerninhalte

Description Logics are a family of fundamental logicallanguages that are used for the representation ofknowledge, for example in the Semantic Web in the formof the known web ontology language, in biomedicalapplications, and in data integration. The lecture will startwith an introduction to the field of description logics andontologies. In particular, we will give precise definitions forsyntax and semantics of the fundamental description logicALC and introduce the standard reasoning problems.We then proceed to study expressive power,computational complexity of reasoning, and practical(tableaux) algorithms exemplarily for ALC. In the end, wewill also look at light-weight description logics with lessexpressive power but computationally easier reasoning.


Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester WiSe 2021/22 , Aktuelles Semester: SoSe 2022
Impressum      Datenschutzerklärung     Datenschutz      Datenschutzerklärung     Erklärung zur Barrierefreiheit