AL-log: integrating datalog and description logics