Inductive Logic Programming in Databases: from Datalog to DL+log