Dirk Walther
Dresden University of Technology
45 Papers
122 Citations
Dirk Walther is an academic researcher from Dresden University of Technology. The author has contributed to research in topics: Description logic & Ontology (information science). The author has an hindex of 17, co-authored 44 publications. Previous affiliations of Dirk Walther include Technical University of Madrid & University of Liverpool.
Chat about Author
Papers
Formal Properties of Modularisation
Boris Konev,Carsten Lutz,Dirk Walther,Frank Wolter +3 more
- 17 May 2009
TL;DR: The fundamental principles of modularity are reviewed and formal properties that a robust notion of modularness should satisfy are identified and explored in detail in the contexts of description logic and classical predicate logic.
The Logical Difference for the Lightweight Description Logic EL
TL;DR: In this paper, a logic-based approach to versioning of ontologies is proposed, where ontologies provide answers to queries about some vocabulary of interest, and the difference between two versions of an ontology is given by the set of queries that receive different answers.
Chloroplast competition is controlled by lipid biosynthesis in evening primroses
Johanna Sobanski,Patrick Giavalisco,Axel Fischer,Julia M. Kreiner,Dirk Walther,Mark Aurel Schöttler,Tommaso Pellizzer,Hieronim Golczyk,Toshihiro Obata,Ralph Bock,Barbara B. Sears,Stephan Greiner +11 more
TL;DR: It is shown that the ability of plastids to compete against each other is a metabolic phenotype determined by extremely rapidly evolving genes in the plastid genome of the evening primrose Oenothera, and uncovers cytoplasmic drive loci controlling the outcome of biparental chloroplast transmission.
45
•Proceedings Article
Quantitative temporal logics over the reals : PSPACE and below
Carsten Lutz,Dirk Walther,Frank Wolter +2 more
- 01 Jan 2007
TL;DR: This paper exhibits several metric extensions of qualitative TLs of the real line that are at most PSPACE-complete, and analyzes the transition from NP to PSPACE for such logics.
19
•Journal Article
Logical Difference and Module Extraction with CEX and MEX.
TL;DR: The module extraction problem: extract from T1 a minimal self-contained terminology T0 such that T1 and T0 imply the same dependencies between Σ-terms.