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

Address Augustusplatz 10
04109 Leipzig
Deutschland

GERiT This institution in GERiT

04109 Leipzig

Projects

Research Grants
- Current projects
  - Query Evaluation in Open and Closed Worlds: Testing, Enumeration, and Counting (QTEC).
    (Applicant Lutz, Carsten )
- Completed projects
  - Beschreibungslogiken mit existentiellen Quantoren und polynominellen Subsumtionsproblem und ihre Anwendung im Bereich biomedizinischer Ontologien
    (Applicant Baader, Franz )
  - Conservative Extensions in Ontology Languages: Beyond Description Logics
    (Applicants Lutz, Carsten ; Schneider, Thomas )
CRC/Transregios
- Completed projects
  - [OntoSpace] Ontologies for Spatial Communication
    (Project Heads Bateman, Ph.D., John ; Lutz, Carsten ; Mossakowski, Till )
Collaborative Research Centres
- Current projects
  - Ontologies with Abstraction
    (Project Heads Bateman, Ph.D., John ; Lutz, Carsten )