Jens Lehmann

Latest

• Ideal Downward Refinement in the $mathcalEL$ Description Logic