Ideal Downward Refinement in the $mathcalEL$ Description Logic

Publication
Inductive Logic Programming, ILP