Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

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 )

© 2024 DFG Kontakt / Impressum / Datenschutz