Project Details

Professor Dr.-Ing. Franz Baader

Address Technische Universität Dresden
Institut für Theoretische Informatik
Professur für Automatentheorie
01062 Dresden

Projects

As Applicant
- Completed projects
  - Kombination von Modal- und Beschreibungslogiken und ihre Anwendung zur Repräsentation intensionalen und dynamischen Wissens (Research Grants)
  - Neuartige Schlussfolgerungsverfahren zur Unterstützung des Aufbaus und der Wartung von Wissensbasen in Beschreibungslogiken (Research Grants)
  - Algorithms and Complexity of Logical Decision Problems and their Application in Knowledge Representation (Research Grants)
  - Algorithms and Complexity of Logical Decision Problems and their Application in Knowledge Representation (Research Grants)
  - Kombination von Aktionsformalismen und Beschreibungslogiken zur Entwicklung von Methoden zum Schließen über Aktionen in komplexen, strukturierten Umgebungen und ihre Anwendung zur Beschreibung von Services im Semantischen Web (Research Grants)
  - Beschreibungslogiken mit existentiellen Quantoren und polynominellen Subsumtionsproblem und ihre Anwendung im Bereich biomedizinischer Ontologien (Research Grants)
  - Vervollständigung von beschreibungslogischen Wissensbasen mit Hilfe von Methoden der Formalen Begriffsanalyse auf partiellen Kontexten (Research Grants)
  - Kombination von Aktionsformalismen und Beschreibungslogiken zur Entwicklung von Methoden zum Schließen über Aktionen in komplexen, strukturierten Umgebungen (Research Grants)
  - Automatic Generation of Description Logic-based Biomedical Ontologies (Research Units)
  - Reasoning in Fuzzy Description Logics with General Concept Inclusion Axioms (Research Grants)
  - Unification in Description Logics for Avoiding Redundancies in Medical Ontologies (Research Grants)
  - Verification of Non-Terminating Action Programs (VERITAS) (Research Units)
  - Probabilistic Description Logics Based on the Aggregating Semantics and the Principle of Maximum Entropy (Research Units)
  - Generating and Answering Ontological Queries over Semi-structured Medical Data (Research Grants)
  - Reasoning and Query Answering Using Concept Similarity Measures and Graded Membership Functions (Research Grants)
  - Repairing Description Logic Ontologies (Research Grants)
As Spokesperson
- Completed projects
  - GRK 1763: Quantitative Logics and Automata (Research Training Groups)
As Participating Researcher
- Completed projects
  - GRK 334: Specification of Discrete Processes and Systems of Processes by Operational Models and Logics (Research Training Groups)
  - EXC 1056: Center for Advancing Electronics Dresden (cfAED) (Clusters of Excellence)
  - GRK 1907: RoSI: Role-based Software-Infrastructures for Continuous-Context-Sensitive Systems (Research Training Groups)
As Project Head
- Current projects
  - Description Logic Explications (CRC/Transregios)
  - Interactive Exploration of Visual Models (CRC/Transregios)
- Completed projects
  - Semantic Technology for Context Awareness (Collaborative Research Centres)
As Participating Person
- Completed projects
  - Algorithmen und Komplexität für logische Entscheidungsprobleme und deren Anwendungen in der Wissensrepräsentation (Research Grants)

Servicenavigation

Hauptnavigation

Professor Dr.-Ing. Franz Baader

Additional Information

Servicenavigation

Hauptnavigation

Professor Dr.-Ing. Franz Baader

Additional Information

Textvergrößerung und Kontrastanpassung