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
Proceedings ArticleDOI
Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts
Franz Baader,Andreas Ecke +1 more
TL;DR: This work extends the terminological formalism of the well-known description logic ALC to more general constraints expressed in the quantifier-free fragment of Boolean Algebra with Presburger Arithmetic (QFBAPA), and introduces a restricted version of the formalism for which the complexity is ExpTime.
Book ChapterDOI
Using Ontologies to Query Probabilistic Numerical Data
TL;DR: This work determines the exact (data and combined) complexity of query answering in extensions of the well-known description logics and \(\mathcal {ALC}\) with numerical comparison operators in this probabilistic setting.
Proceedings Article
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints
TL;DR: It is proved that decidability of querying can be regained if global and local constraints are not mixed and the global constraints are appropriately restricted, and conjunctive query entailment in this expressive description logic ALCSCC++ turns out to be undecidable.
Book ChapterDOI
Appendix: description logic terminology
TL;DR: The purpose of this appendix is to introduce (in a compact manner) the syntax and semantics of the most prominent DLs occurring in this handbook.
Proceedings Article
Completing Description Logic Knowledge Bases using Formal Concept Analysis.
TL;DR: This work proposes an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using information provided by the knowledge base and by a domain expert.