Combining Logic Programming with Description Logics and Machine Learning for the Semantic Web