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 Article
A multi-dimensional terminological knowledge representation language
Hans Jürgen Ohlbach,Franz Baader +1 more
TL;DR: An extension of the concept description language ACC used in KL-ONE-like terminological reasoning is presented, which includes multi-modal operators that can either stand for the usual role quantifications or for modalities such as belief, time etc.
Book ChapterDOI
Unification in the Description Logic $\mathcal{EL}$
Franz Baader,Barbara Morawska +1 more
TL;DR: This paper shows that unification in Description Logic-unification is NP-complete, and thus has the same complexity as $\mathcal{EL}$-matching, and shows that there are unification problems that have no finite complete set of unifiers.
Book ChapterDOI
Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis
Franz Baader,Ralf Molitor +1 more
TL;DR: It is shown that methods from formal concept analysis developed for computing concept lattices can be employed for computing the subsumption hierarchy of all least common subsumers of subsets of \(\mathcal{C}\).
Book ChapterDOI
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 and comment on the naming schemes for DLs that are employed in the literature and in thishandbook.
Journal ArticleDOI
Context-dependent views to axioms and consequences of Semantic Web ontologies
TL;DR: The framework developed in this paper can deal with scenarios where selected sub-ontologies of a large ontology are offered as views to users, based on contexts like the access rights of a user, the trust level required by the application, or the level of detail requested by the user.