World's Best Scientists 2026 revealed!
Franz Baader

Franz Baader

Award Badge
Computer Science
Germany
2025

D-Index & Metrics

Computer Science

D-Index
67
Citations
39984
World Ranking
2133
National Ranking
88

Research.com Recognitions

  • 2025 - Research.com Computer Science in Germany Leader Award
  • 2023 - Research.com Computer Science in Germany Leader Award
  • 2022 - Research.com Computer Science in Germany Leader Award
  • 2011 - Member of Academia Europaea

Overview

Franz Baader is affiliated with TU Dresden in Germany and has contributed extensively to the field of Computer Science, focusing particularly on Artificial Intelligence. Their research spans over 125 publications, with a strong emphasis on Semantic Web and Ontologies, Logic, Reasoning, and Knowledge.

Baader's primary research topics include:

  • Semantic Web and Ontologies
  • Logic, Reasoning, and Knowledge
  • Natural Language Processing Techniques
  • Biomedical Text Mining and Ontologies
  • Service-Oriented Architecture and Web Services
  • Logic, programming, and type systems
  • Semigroups and automata theory

Their frequent coauthors are:

  • Patrick Koopmann
  • Stefan Borgwardt
  • Christian Alrabbaa
  • Alisa Kovtunova
  • Francesco Kriegel

Franz Baader has published consistently in several venues, including:

  • arXiv (Cornell University)
  • Zenodo (CERN European Organization for Nuclear Research)
  • Journal of Automated Reasoning
  • KI - Künstliche Intelligenz
  • ACM SIGAPP Applied Computing Review

Selected recent papers include:

  • "Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints", 2020, arXiv (Cornell University)
  • "Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains", 2022, Journal of Automated Reasoning
  • "Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging", 2023, Computer Graphics Forum
  • "Semantic Technologies for Situation Awareness", 2020, KI - Künstliche Intelligenz
  • "Metric Temporal Description Logics with Interval-Rigid Names", 2020, ACM Transactions on Computational Logic

Baader has contributed to book publications as well, including a work titled The Semantic Web - ISWC 2020 published by Springer Science+Business Media in 2020.

Their research reflects engagement in various subfields such as:

  • Artificial Intelligence
  • Molecular Biology
  • Information Systems
  • Computational Theory and Mathematics
  • Computer Networks and Communications

Franz Baader was recognized as a Member of the Academia Europaea in 2011.

Best Publications

  • The Description Logic Handbook: Theory, Implementation and Applications

    Franz Baader;Diego Calvanese;Deborah L. McGuinness;Daniele Nardi

  • The Description Logic Handbook

    Franz Baader;Diego Calvanese;Deborah L. McGuinness;Daniele Nardi

  • Pushing the EL envelope

    Franz Baader;Sebastian Brandt;Carsten Lutz

  • Basic description logics

    Franz Baader;Werner Nutt

  • Description Logics as Ontology Languages for the Semantic Web

    Franz Baader;Ian Horrocks;Ulrike Sattler

  • Description Logics

    Franz Baader

  • An Overview of Tableau Algorithms for Description Logics

    Franz Baader;Ulrike Sattler

  • Description logics for the semantic web

    Franz Baader;Ian Horrocks;Ulrike Sattler

  • A scheme for integrating concrete domains into concept languages

    Franz Baader;Philipp Hanschke

  • Embedding defaults into terminological knowledge representation formalisms

    Franz Baader;Bernhard Hollunder

  • Description Logics

    Unknown

  • Unification Theory

    Franz Baader

  • An Introduction to Description Logic by Franz Baader

    Unknown

  • CEL: a polynomial-time reasoner for life science ontologies

    Franz Baader;Carsten Lutz;Boontawee Suntisrivaraporn

  • Pushing the EL Envelope Further.

    Franz Baader;Carsten Lutz;Sebastian Brandt

  • The description logic handbook: theory

    Franz Baader;Diego Calvanese;Deborah L. Mcguinness;Daniele Nardi

  • Am empirical analysis of optimization techniques for terminological representation systems

    Franz Baader;Bernhard Hollunder;Bernhard Nebel;Hans-Jürgen Profitlich

  • Computing Least Common Subsumers in Description Logics with Existential Restrictions

    Franz Baader;Ralf Kusters;Ralf Molitor

  • Terminological cycles in a description logic with existential restrictions

    Franz Baader

  • Unification in the union of disjoint equational theories: combining decision procedures

    Franz Baader;Klaus U. Schulz

  • An empirical analysis of optimization techniques for terminological representation systems : or: 'Making KRIS get a move on'

    Franz Baader;Bernhard Hollunder;Bernhard Nebel;Hans-Jürgen Profitlich

  • The Description Logic Handbook: Preface

    Franz Baader;Diego Calvanese;Deborah L. McGuinness;Daniele Nardi

Frequent Co-Authors

Carsten Lutz
Carsten Lutz Leipzig University
Werner Nutt
Werner Nutt Free University of Bozen-Bolzano
Ulrike Sattler
Ulrike Sattler University of Manchester
Ralf Küsters
Ralf Küsters University of Stuttgart
Deborah L. McGuinness
Deborah L. McGuinness Rensselaer Polytechnic Institute
Andrei Voronkov
Andrei Voronkov University of Manchester
Cesare Tinelli
Cesare Tinelli University of Iowa
Frank Wolter
Frank Wolter University of Liverpool
Ian Horrocks
Ian Horrocks University of Oxford
Tobias Nipkow
Tobias Nipkow Technical University of Munich

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Computer Science in the USA opens doors to a variety of related online degrees and career opportunities. For those interested in law and public service, a cheapest online master's degree in criminal justice can be an affordable path forward, blending technology with investigation and policy.

If your strengths lie in numbers and financial analysis, consider a cheap online accounting degree. These programs are designed to prepare you for high-demand roles by combining accounting fundamentals with data-driven decision-making skills.

For those fascinated with big data, analytics, and artificial intelligence, an online masters in data science offers specialized training to boost your career. These degrees put you at the forefront of the digital transformation, enabling you to analyze complex data sets in various industries.

Finally, if you’re interested in leadership roles within the building and infrastructure industry, a fast track construction management degree can provide the skills and credentials you need. This accelerated option allows you to quickly transition into project management and oversight roles.

Best Scientists Citing Franz Baader

Trending Scientists

Recently Published Articles