Role-Value Maps and General Concept Inclusions in the Minimal Description Logic with Value Restrictions or Revisiting Old Skeletons in the DL Cupboard

We investigate the impact that general concept inclusions and role-value maps have on the complexity and decidability of reasoning in the description logic $\mathcal{FL}_0 FL0 . On the one hand, we give a more direct proof for ExpTime-hardness of subsumption w.r.t. general concept inclusions in \mathcal{FL}_0...