D-Index & Metrics Best Publications

D-Index & Metrics

Discipline name D-index D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines. Citations Publications World Ranking National Ranking
Computer Science D-index 36 Citations 8,177 128 World Ranking 5426 National Ranking 327

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Artificial intelligence
  • Algebra

Michael Zakharyaschev focuses on Theoretical computer science, Ontology, Description logic, Decidability and Discrete mathematics. His work on Satisfiability as part of general Theoretical computer science study is frequently linked to T-norm fuzzy logics, therefore connecting diverse disciplines of science. The study incorporates disciplines such as Context, Ontology, Data access and Relational database, Conjunctive query in addition to Ontology.

His Description logic research incorporates themes from Modal logic, Solver and Transitive relation. The concepts of his Decidability study are interwoven with issues in Linear temporal logic, Temporal logic and Knowledge representation and reasoning. His study in the fields of Boolean satisfiability problem under the domain of Discrete mathematics overlaps with other disciplines such as Monoidal t-norm logic.

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)
  • Modal Logic (643 citations)

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

Theoretical computer science, Description logic, Discrete mathematics, Ontology and Conjunctive query are his primary areas of study. Michael Zakharyaschev mostly deals with Temporal logic in his studies of Theoretical computer science. His Description logic research integrates issues from Context, Satisfiability and Algebra, Transitive relation.

His work deals with themes such as Modal logic and Accessibility relation, which intersect with Discrete mathematics. His work in Modal logic covers topics such as Multimodal logic which are related to areas like Dynamic logic. His Ontology course of study focuses on Datalog and Extension.

He most often published in these fields:

  • Theoretical computer science (32.54%)
  • Description logic (30.95%)
  • Discrete mathematics (28.97%)

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

  • Ontology (23.41%)
  • Theoretical computer science (32.54%)
  • Conjunctive query (18.65%)

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

His primary areas of study are Ontology, Theoretical computer science, Conjunctive query, Description logic and Datalog. His Ontology research includes themes of Ontology, Data access, Data complexity and Temporal logic. His biological study spans a wide range of topics, including Linear temporal logic, Undecidable problem and Metric.

His Theoretical computer science research is multidisciplinary, incorporating perspectives in Set, Knowledge base, Semantics and Algorithm, Primitive recursive function. The study incorporates disciplines such as Discrete mathematics, Decidability, EXPTIME, Web Ontology Language and Axiom in addition to Conjunctive query. His work carried out in the field of Description logic brings together such families of science as Computational complexity theory and Signature, Algebra.

Between 2013 and 2021, his most popular works were:

  • Ontology-based data access: a survey (101 citations)
  • Answering SPARQL Queries over Databases under OWL 2 QL Entailment Regime (86 citations)
  • The price of query rewriting in ontology-based data access (68 citations)

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

  • Programming language
  • Algebra
  • Artificial intelligence

Michael Zakharyaschev mainly investigates Ontology, Theoretical computer science, Conjunctive query, Datalog and Description logic. His study on Ontology also encompasses disciplines like

  • Data access that intertwine with fields like SPARQL, Information retrieval and Relational database,
  • Natural language processing, which have a strong connection to Temporal database and Knowledge representation and reasoning. His Datalog research is multidisciplinary, relying on both Query language, Temporal logic and Extension.

Within one scientific family, Michael Zakharyaschev focuses on topics pertaining to Linear temporal logic under Temporal logic, and may sometimes address concerns connected to Dynamic logic. His Interval temporal logic study in the realm of Description logic connects with subjects such as T-norm fuzzy logics. Michael Zakharyaschev usually deals with Decidability and limits it to topics linked to Boolean satisfiability problem and Satisfiability.

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.

Best 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

Modal Logic

Michael Zakharyaschev.
(1997)

1504 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

The DL-lite family and relations

Alessandro Artale;Diego Calvanese;Roman Kontchakov;Michael Zakharyaschev.
Journal of Artificial Intelligence Research (2009)

579 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

Spatio-temporal representation and reasoning based on RCC-8

Frank Wolter;Michael Zakharyaschev.
principles of knowledge representation and reasoning (2000)

217 Citations

Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning

Brandon Bennett;Anthony G. Cohn;Frank Wolter;Michael Zakharyaschev.
Applied Intelligence (2002)

214 Citations

Best Scientists Citing Michael Zakharyaschev

Diego Calvanese

Diego Calvanese

Free University of Bozen-Bolzano

Publications: 126

Carsten Lutz

Carsten Lutz

University of Bremen

Publications: 86

Frank Wolter

Frank Wolter

University of Liverpool

Publications: 75

Bernardo Cuenca Grau

Bernardo Cuenca Grau

University of Oxford

Publications: 62

Ian Horrocks

Ian Horrocks

University of Oxford

Publications: 49

Franz Baader

Franz Baader

TU Dresden

Publications: 46

Riccardo Rosati

Riccardo Rosati

Sapienza University of Rome

Publications: 40

Thomas Eiter

Thomas Eiter

TU Wien

Publications: 40

Michael Fisher

Michael Fisher

University of Manchester

Publications: 39

Maurizio Lenzerini

Maurizio Lenzerini

Sapienza University of Rome

Publications: 39

Bijan Parsia

Bijan Parsia

University of Manchester

Publications: 34

Domenico Lembo

Domenico Lembo

Sapienza University of Rome

Publications: 33

Enrico Franconi

Enrico Franconi

Free University of Bozen-Bolzano

Publications: 29

Umberto Straccia

Umberto Straccia

National Research Council (CNR)

Publications: 29

Marco Montali

Marco Montali

Free University of Bozen-Bolzano

Publications: 25

Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking d-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
Something went wrong. Please try again later.