SPILDL: A Scalable and Parallel Inductive Learner in Description Logic