Michael Halfmann

  • Citations Per Year
Learn More
This paper presents current work on generating textual explanations for subsumption within an expressive fraction of OWL Lite TBoxes. Our approach is based on a tableau-style algorithm. We describe how to explain subsumptions within ALE extended by role hierarchies, transitivity, cardinality restrictions, and domain as well as range restrictions. We also(More)
  • 1