An Overview of Tableau Algorithms for Description Logics

@article{Baader2001AnOO,
  title={An Overview of Tableau Algorithms for Description Logics},
  author={Franz Baader and Ulrike Sattler},
  journal={Studia Logica},
  year={2001},
  volume={69},
  pages={5-40}
}
Description logics are a family of knowledge representation formalisms that are descended from semantic networks and frames via the system Kl-one. During the last decade, it has been shown that the important reasoning problems (like subsumption and satisfiability) in a great variety of description logics can be decided using tableau-like algorithms. This is not very surprising since description logics have turned out to be closely related to propositional modal logics and logics of programs… CONTINUE READING
BETA

Citations

Publications citing this paper.
SHOWING 1-10 OF 293 CITATIONS, ESTIMATED 22% COVERAGE

Description Logic as Programming Language

  • Onward!
  • 2014
VIEW 14 EXCERPTS
CITES BACKGROUND, METHODS & RESULTS
HIGHLY INFLUENCED

Reasoning with a fuzzy description logic based on an axiom system

  • 2011 Eighth International Conference on Fuzzy Systems and Knowledge Discovery (FSKD)
  • 2011
VIEW 6 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Exploration of variations of unrestricted blocking for description logics

VIEW 5 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

The Complexity of Fuzzy Description Logics over Finite Lattices with Nominals

VIEW 17 EXCERPTS
CITES RESULTS, BACKGROUND & METHODS
HIGHLY INFLUENCED

Uncertainty Reasoning for the Semantic Web III

  • Lecture Notes in Computer Science
  • 2014
VIEW 9 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

2001
2019

CITATION STATISTICS

  • 35 Highly Influenced Citations

  • Averaged 8 Citations per year over the last 3 years

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

References

Publications referenced by this paper.
SHOWING 1-10 OF 41 REFERENCES

Similar Papers

Loading similar papers…