Julian Lambertz

  • Citations Per Year
Learn More
Explaining Subsumption and Unsatisfiability Our approach follows the idea of adapting a tableaux algorithm for explaining subsumption and unsatisfiability as suggested in [1, 4]. The explanation follows the proof and uses the structure of a tableaux tree for the production of natural-language explanations. Our method covers the DL SHIN including GCIs. We(More)
  • 1