A tool for supervised Machine Learning in OWL and Description Logics