A tableau-based explainer for DL subsumption

  • Authors:

  • Thorsten Liebig;Michael Halfmann

  • Affiliations:

  • Dept. of AI, University of Ulm, Ulm, Germany;Dept. of AI, University of Ulm, Ulm, Germany

  • Venue:
  • TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper describes the implementation of a tableau-based reasoning component which is capable of providing quasi natural language explanations for subsumptions within $\mathcal{ALEHF_R+}$TBoxes.