Reasoning in Expressive Description Logics

@inproceedings{Calvanese2001ReasoningIE,
  title={Reasoning in Expressive Description Logics},
  author={Diego Calvanese and Giuseppe De Giacomo and Maurizio Lenzerini and Daniele Nardi},
  booktitle={Handbook of Automated Reasoning},
  year={2001}
}

Figures and Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 108 CITATIONS, ESTIMATED 98% COVERAGE

Description Logics for Ontologies Zusammenfassung der wissenschaftlichen

VIEW 9 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

On Expressive Number Restrictions in Description Logics

  • Description Logics
  • 2001
VIEW 14 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Introducing temporal description logics

  • Proceedings. Sixth International Workshop on Temporal Representation and Reasoning. TIME-99
  • 1999
VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity

  • Fundam. Inform.
  • 2010
VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Diagrammatic Representation of OWL Ontologies

VIEW 2 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

1999
2019

CITATION STATISTICS

  • 11 Highly Influenced Citations