A hybrid system integrating Datalog and concept languages