Explaining ALC Subsumption

  title={Explaining ALC Subsumption},
  author={Alexander Borgida and Enrico Franconi and Ian Horrocks},
The usability of Description Logic (DL) based knowledge representation systems would be considerably enhanced by the ability to explain subsumption inferences to nonsophisticated users [McGuinness, 1996]. Explanation is relatively natural for systems based on structural subsumption algorithms [McGuinness and Borgida, 1995], but such algorithms are unable to deal with a more complex language such as ALC. Tableaux based systems, on the other hand, can deal with ALC (and much more complex… CONTINUE READING
Highly Cited
This paper has 121 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 77 extracted citations

121 Citations

Citations per Year
Semantic Scholar estimates that this publication has 121 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-7 of 7 references

Explaining Reasoning in Description Logics

  • D. McGuinness
  • PhD thesis, Rutgers University
  • 1996
1 Excerpt


  • Veronique Royer, Joachim Quantz. Deriving inference rules for terminologica Pearce, G. Wagner
  • Logics in AI, Proceedings of JELIA’92, pages 84…
  • 1992
1 Excerpt

Proof Methods for Modal and Intuitionistic Logics

  • Melvin Fitting
  • Kluwer,
  • 1983
1 Excerpt

Similar Papers

Loading similar papers…