Julian Lambertz

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
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 rely on a data structure for annotated terms(More)
  • 1