Description logic programs: combining logic programs with description logic