The Description Logic Handbook

@inproceedings{Baader2007TheDL,
  title={The Description Logic Handbook},
  author={Franz Baader and Diego Calvanese and Deborah L. McGuinness and Daniele Nardi and Peter F. Patel-Schneider},
  year={2007}
}
This introduction presents the main motivations for the development of Description Logics (DLs) as a formalism for representing knowledge, as well as some important basic notions underlying all systems that have been created in the DL tradition. In addition, we provide the reader with an overview of the entire book and some guidelines for reading it. We first address the relationship between Description Logics and earlier semantic network and frame systems, which represent the original heritage… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 914 CITATIONS, ESTIMATED 83% COVERAGE

Using Subjective Logic to Handle Uncertainty and Conflicts

  • 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications
  • 2012
VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

4th Generation Flexible Query Language for Ontology Querying

  • 2011 10th IEEE/ACIS International Conference on Computer and Information Science
  • 2011
VIEW 10 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Constraint Generation and Reasoning in OWL

VIEW 7 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Enhancing Subjective Ontologies with Social Tagging Systems

VIEW 12 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Onto VQL : Ontology Visual Query Language

VIEW 6 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

2003
2019

CITATION STATISTICS

  • 192 Highly Influenced Citations

  • Averaged 20 Citations per year over the last 3 years

  • 5% Increase in citations per year in 2018 over 2017

References

Publications referenced by this paper.

However, these systems were in general not formally defined and the associated reasoning tools were strongly dependent on the implementation strategies

The above principle drove the development of the first systems, semantic networks in the
  • A fundamental step towards a logic-based characterization of required formalisms was accomplished through the work on the Kl-One
  • 1970

Similar Papers

Loading similar papers…