Detailseite

Professor Dr. Carsten Lutz

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

Projekte

Als Antragsteller
- laufende Projekte
  - Anfragen in Offenen und Geschlossenen Welten: Testen, Aufzählen und Zählen (QTEC). (Sachbeihilfen)
- abgeschlossene Projekte
  - Konservative Erweiterungen in Onologiesprachen: Jenseits von Beschreibungslogik (Sachbeihilfen)
Als Teilprojektleiter
- laufende Projekte
  - Ontologien mit Abstraktion (Sonderforschungsbereiche)
- abgeschlossene Projekte
  - [OntoSpace] Ontologien für Kommunikation über Raum (Transregios)
Als Beteiligte Person
- abgeschlossene Projekte
  - Beschreibungslogiken mit existentiellen Quantoren und polynominellen Subsumtionsproblem und ihre Anwendung im Bereich biomedizinischer Ontologien (Sachbeihilfen)

Servicenavigation

Hauptnavigation

Professor Dr. Carsten Lutz

Zusatzinformationen

Servicenavigation

Hauptnavigation

Professor Dr. Carsten Lutz

Zusatzinformationen

Textvergrößerung und Kontrastanpassung