Formulating description logic learning as an Inductive Logic Programming task | IEEE Conference Publication | IEEE Xplore