$mathcalAL$-log: integrating datalog and description logics

Add the full text or supplementary notes for the publication here using Markdown formatting.