F
Franz Baader
Researcher at Dresden University of Technology
Publications - 348
Citations - 25077
Franz Baader is an academic researcher from Dresden University of Technology. The author has contributed to research in topics: Description logic & Decidability. The author has an hindex of 62, co-authored 334 publications receiving 24544 citations. Previous affiliations of Franz Baader include University of Erlangen-Nuremberg & Max Planck Society.
Papers
More filters
Journal Article
Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata.
Journal Article
A new n -ary existential quantifier in description logics.
TL;DR: In this paper, a new concept constructor in Description Logics (DLs), an n-ary variant of the existential restriction constructor, which generalizes both the usual existential restrictions and so-called qualified number restrictions, was introduced.
Matching linear and non-linear trace patterns with regular policies
TL;DR: This paper considers policies that are described by regular languages, which are assumed to describe situations that are problematic, and thus should be avoided, and investigates whether the variables in u can be replaced by sequences of actions such that the resulting trace belongs to L.
Book ChapterDOI
UEL: unification solver for the description logic EL - system description
TL;DR: This work proposes to use UEL as a tool to detect redundancies in biomedical ontologies by computing unifiers of two formal concepts suspected of expressing the same concept of the application domain.