Universität Leipzig
Fakultät für Mathematik und Informatik
Professur für die Grundlagen der Wissensrepräsentation

Adresse Augustusplatz 10
04109 Leipzig
Deutschland

GERiT Diese Institution in GERiT

04109 Leipzig

Projekte

Sachbeihilfen
- laufende Projekte
  - Anfragen in Offenen und Geschlossenen Welten: Testen, Aufzählen und Zählen (QTEC).
    (Antragsteller Lutz, Carsten )
- abgeschlossene Projekte
  - Beschreibungslogiken mit existentiellen Quantoren und polynominellen Subsumtionsproblem und ihre Anwendung im Bereich biomedizinischer Ontologien
    (Antragsteller Baader, Franz )
  - Konservative Erweiterungen in Onologiesprachen: Jenseits von Beschreibungslogik
    (Antragsteller Lutz, Carsten ; Schneider, Thomas )
Transregios
- abgeschlossene Projekte
  - [OntoSpace] Ontologien für Kommunikation über Raum
    (Teilprojektleiter Bateman, Ph.D., John ; Lutz, Carsten ; Mossakowski, Till )
Sonderforschungsbereiche
- laufende Projekte
  - Ontologien mit Abstraktion
    (Teilprojektleiter Bateman, Ph.D., John ; Lutz, Carsten )