AL-log: integrating datalog and description logics

DONINI F. M

LENZERINI M

NARDI D

SCHAERF, Andrea