H-Index & Metrics Top Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science H-index 57 Citations 30,967 193 World Ranking 1871 National Ranking 79

Research.com Recognitions

Awards & Achievements

2011 - Member of Academia Europaea

Overview

What is he best known for?

The fields of study he is best known for:

  • Artificial intelligence
  • Programming language
  • Algebra

Description logic, Theoretical computer science, Knowledge representation and reasoning, Discrete mathematics and Algorithm are his primary areas of study. His Description logic research is classified as research in Programming language. His Theoretical computer science study incorporates themes from Ontology, Terminology, SNOMED CT and Set.

His Knowledge representation and reasoning research is multidisciplinary, incorporating elements of Ontology language, F-logic and Natural language processing. In his study, Data science, Resource and Field is strongly linked to Web Ontology Language, which falls under the umbrella field of Ontology language. His study in Discrete mathematics is interdisciplinary in nature, drawing from both Existentialism, Inference and Polynomial.

His most cited work include:

  • The Description Logic Handbook: Theory, Implementation and Applications (5509 citations)
  • Term rewriting and all that (2223 citations)
  • The Description Logic Handbook (1926 citations)

What are the main themes of his work throughout his whole career to date?

Franz Baader mainly focuses on Description logic, Theoretical computer science, Discrete mathematics, Decidability and Unification. His Description logic research focuses on Inference and how it relates to Semantics. His Theoretical computer science research incorporates elements of Context, Set and Artificial intelligence, Knowledge representation and reasoning.

His Knowledge representation and reasoning research integrates issues from Information retrieval, Data science and Natural language processing. His Discrete mathematics research is multidisciplinary, relying on both Cardinality and Extension. When carried out as part of a general Decidability research project, his work on Undecidable problem is frequently linked to work in T-norm fuzzy logics, therefore connecting diverse disciplines of study.

He most often published in these fields:

  • Description logic (54.19%)
  • Theoretical computer science (30.17%)
  • Discrete mathematics (22.91%)

What were the highlights of his more recent work (between 2014-2021)?

  • Description logic (54.19%)
  • Theoretical computer science (30.17%)
  • Discrete mathematics (22.91%)

In recent papers he was focusing on the following fields of study:

Franz Baader spends much of his time researching Description logic, Theoretical computer science, Discrete mathematics, Ontology and Decidability. His Description logic study is concerned with the larger field of Programming language. In his research, Fuzzy logic is intimately related to Axiom, which falls under the overarching field of Theoretical computer science.

The concepts of his Discrete mathematics study are interwoven with issues in Cardinality, Polynomial and Extension. His Ontology research also works with subjects such as

  • Privacy preserving which is related to area like World Wide Web,
  • Query language and related Ontology language and Sketch. The Unification study combines topics in areas such as Idempotence and Commutative property.

Between 2014 and 2021, his most popular works were:

  • Temporal Query Entailment in the Description Logic SHQ (24 citations)
  • Query and predicate emptiness in ontology-based data access (21 citations)
  • Metric Temporal Description Logics with Interval-Rigid Names (20 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Artificial intelligence
  • Algebra

His main research concerns Description logic, Discrete mathematics, Theoretical computer science, Ontology and Query language. His Description logic research incorporates elements of Cardinality, Set, Unification, Algebra and Conjunctive query. His work on Presburger arithmetic and Decidability as part of general Discrete mathematics research is frequently linked to Contrast, bridging the gap between disciplines.

The various areas that Franz Baader examines in his Decidability study include Vagueness, Reduction and Knowledge representation and reasoning. His study in the field of Abox is also linked to topics like Sequence. His Query language research is multidisciplinary, incorporating elements of Linear temporal logic, Programming language, Ontology language and Propositional variable.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Top Publications

The Description Logic Handbook: Theory, Implementation and Applications

Franz Baader;Diego Calvanese;Deborah L. McGuinness;Daniele Nardi.
Kybernetes (2003)

5141 Citations

Term rewriting and all that

Franz Baader;Tobias Nipkow.
(1998)

3801 Citations

The Description Logic Handbook

Franz Baader;Diego Calvanese;Deborah L. McGuinness;Daniele Nardi.
(2007)

3278 Citations

Pushing the EL envelope

Franz Baader;Sebastian Brandt;Carsten Lutz.
international joint conference on artificial intelligence (2005)

1355 Citations

Basic description logics

Franz Baader;Werner Nutt.
The description logic handbook (2003)

1054 Citations

Description Logics as Ontology Languages for the Semantic Web

Franz Baader;Ian Horrocks;Ulrike Sattler.
Mechanizing Mathematical Reasoning (2005)

785 Citations

An overview of tableau algorithms for description logics

Franz Baader;Ulrike Sattler.
Studia Logica (2001)

662 Citations

Description Logics

Franz Baader.
Reasoning Web. Semantic Technologies for Information Systems (2009)

653 Citations

Description Logics for the Semantic Web.

Franz Baader;Ian Horrocks;Ulrike Sattler.
Künstliche Intell. (2002)

651 Citations

A scheme for integrating concrete domains into concept languages

Franz Baader;Philipp Hanschke.
international joint conference on artificial intelligence (1991)

591 Citations

Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking h-index is inferred from publications deemed to belong to the considered discipline.

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

Contact us

Top Scientists Citing Franz Baader

Ian Horrocks

Ian Horrocks

University of Oxford

Publications: 181

Diego Calvanese

Diego Calvanese

Free University of Bozen-Bolzano

Publications: 147

Carsten Lutz

Carsten Lutz

University of Bremen

Publications: 120

Frank Wolter

Frank Wolter

University of Liverpool

Publications: 118

Ulrike Sattler

Ulrike Sattler

University of Manchester

Publications: 109

Umberto Straccia

Umberto Straccia

Consiglio Nazionale delle Ricerche - CNR

Publications: 100

Jeff Z. Pan

Jeff Z. Pan

University of Edinburgh

Publications: 99

Francesco M. Donini

Francesco M. Donini

Tuscia University

Publications: 97

Michael Zakharyaschev

Michael Zakharyaschev

Birkbeck, University of London

Publications: 90

Pascal Hitzler

Pascal Hitzler

Kansas State University

Publications: 88

Maurizio Lenzerini

Maurizio Lenzerini

Sapienza University of Rome

Publications: 81

Floriana Esposito

Floriana Esposito

University of Bari Aldo Moro

Publications: 80

Boris Motik

Boris Motik

University of Oxford

Publications: 79

Giuseppe De Giacomo

Giuseppe De Giacomo

Sapienza University of Rome

Publications: 79

Bijan Parsia

Bijan Parsia

University of Manchester

Publications: 75

Something went wrong. Please try again later.