H-Index & Metrics Top Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science H-index 55 Citations 11,233 148 World Ranking 2110 National Ranking 116

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Artificial intelligence
  • Algebra

His scientific interests lie mostly in Description logic, Theoretical computer science, Decidability, Ontology and Modal logic. The various areas that Frank Wolter examines in his Description logic study include Modularity, Conjunctive query, Information retrieval and Conservative extension. Frank Wolter is involved in the study of Theoretical computer science that focuses on Undecidable problem in particular.

His Decidability research is within the category of Discrete mathematics. Frank Wolter combines subjects such as Ontology and Context with his study of Ontology. His study explores the link between Modal logic and topics such as Multimodal logic that cross with problems in Dynamic logic, Intermediate logic and Calculus.

His most cited work include:

  • Monodic fragments of first-order temporal logics: 2000-2001 A.D (953 citations)
  • Semi-qualitative Reasoning about Distances: A Preliminary Report (683 citations)
  • Many-Dimensional Modal Logics: Theory and Applications (498 citations)

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

The scientist’s investigation covers issues in Description logic, Theoretical computer science, Ontology, Discrete mathematics and Decidability. The study incorporates disciplines such as Algorithm, Conjunctive query, Undecidable problem and Algebra in addition to Description logic. His research investigates the connection with Theoretical computer science and areas like Forgetting which intersect with concerns in Interpolation.

His Discrete mathematics research incorporates elements of Modal logic, Accessibility relation and Temporal logic. As part of the same scientific family, Frank Wolter usually focuses on Modal logic, concentrating on Multimodal logic and intersecting with Dynamic logic. His Decidability research incorporates themes from Fragment, Finite model property and Boolean satisfiability problem.

He most often published in these fields:

  • Description logic (50.68%)
  • Theoretical computer science (34.59%)
  • Ontology (23.63%)

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

  • Description logic (50.68%)
  • Ontology (23.63%)
  • Theoretical computer science (34.59%)

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

Frank Wolter mainly focuses on Description logic, Ontology, Theoretical computer science, Decidability and Fragment. In his articles, Frank Wolter combines various disciplines, including Description logic and French horn. His work deals with themes such as Linear temporal logic, Data access, Temporal database and Primitive recursive function, which intersect with Ontology.

The concepts of his Theoretical computer science study are interwoven with issues in Conjunctive query and Decision problem. His study in Decidability is interdisciplinary in nature, drawing from both Craig interpolation, Beth definability and Ontology engineering. His Fragment study deals with P intersecting with Finite model theory, Type, Modal logic and Dichotomy.

Between 2018 and 2021, his most popular works were:

  • Query Inseparability for ALC Ontologies (7 citations)
  • Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (6 citations)
  • Least General Generalizations in Description Logic: Verification and Existence (5 citations)

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

  • Programming language
  • Artificial intelligence
  • Algebra

Frank Wolter mainly investigates Description logic, Theoretical computer science, Conjunctive query, P and EXPTIME. His Description logic research is multidisciplinary, incorporating perspectives in Concept learning and Link. His Theoretical computer science study typically links adjacent topics like Ontology.

His research in Conjunctive query focuses on subjects like Decidability, which are connected to Range, Algebra, Generalization and Meaning. His P research includes themes of Datalog, Fragment and Modal logic. His EXPTIME research incorporates elements of NEXPTIME, Undecidable problem, Polynomial hierarchy, Extension and Decision problem.

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

Monodic fragments of first-order temporal logics: 2000-2001 A.D

Ian M. Hodkinson;Frank Wolter;Michael Zakharyaschev.
international conference on logic programming (2001)

1510 Citations

Semi-qualitative Reasoning about Distances: A Preliminary Report

Holger Sturm;Nobu-Yuki Suzuki;Frank Wolter;Michael Zakharyaschev.
Springer US (2000)

1074 Citations

Many-Dimensional Modal Logics: Theory and Applications

Dov M Gabbay;Agi Kurucz;Frank Wolter;Michael Zakharyaschev.
(2013)

821 Citations

Handbook of Modal Logic

Patrick Blackburn;J. F. A. K. van Benthem;F. Wolter.
Studies in Logic and Practical Reasoning (2007)

689 Citations

Connecting abstract description systems

Oliver Kutz;Frank Wolter;Michael Zakharyaschev.
principles of knowledge representation and reasoning (2002)

318 Citations

ε-connections of abstract description systems

Oliver Kutz;Carsten Lutz;Frank Wolter;Michael Zakharyaschev.
Artificial Intelligence (2004)

318 Citations

Decidable fragments of first-order temporal logics

Ian M. Hodkinson;Frank Wolter;Michael Zakharyaschev.
Annals of Pure and Applied Logic (2000)

273 Citations

Did I damage my ontology? A case for conservative extensions in description logic

Silvio Ghilardi;Carsten Lutz;Frank Wolter.
principles of knowledge representation and reasoning (2006)

272 Citations

Temporal Description Logics: A Survey

C. Lutz;F. Wolter;M. Zakharyashev.
international symposium on temporal representation and reasoning (2008)

262 Citations

Conjunctive query answering in the description logic EL using a relational database system

Carsten Lutz;David Toman;Frank Wolter.
international joint conference on artificial intelligence (2009)

254 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 Frank Wolter

Bernardo Cuenca Grau

Bernardo Cuenca Grau

University of Oxford

Publications: 90

Diego Calvanese

Diego Calvanese

Free University of Bozen-Bolzano

Publications: 84

Ian Horrocks

Ian Horrocks

University of Oxford

Publications: 78

Michael Zakharyaschev

Michael Zakharyaschev

Birkbeck, University of London

Publications: 74

Franz Baader

Franz Baader

TU Dresden

Publications: 60

Carsten Lutz

Carsten Lutz

University of Bremen

Publications: 55

Thomas Eiter

Thomas Eiter

TU Wien

Publications: 47

Michael Fisher

Michael Fisher

University of Manchester

Publications: 45

Ulrike Sattler

Ulrike Sattler

University of Manchester

Publications: 44

Riccardo Rosati

Riccardo Rosati

Sapienza University of Rome

Publications: 41

Bijan Parsia

Bijan Parsia

University of Manchester

Publications: 41

Maurizio Lenzerini

Maurizio Lenzerini

Sapienza University of Rome

Publications: 38

Boris Motik

Boris Motik

University of Oxford

Publications: 31

Sebastian Rudolph

Sebastian Rudolph

TU Dresden

Publications: 30

Wiebe van der Hoek

Wiebe van der Hoek

University of Liverpool

Publications: 29

Something went wrong. Please try again later.