Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

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 )

© 2024 DFG Disclaimer / Copyright / Privacy Policy