@scadsfct

Role-value maps and general concept inclusions in the minimal description logic with value restrictions or revisiting old skeletons in the DL cupboard

, and . KI - Künstl. Intell., 34 (3): 291--301 (September 2020)

Abstract

AbstractWe 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$. 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$FL0. On the other hand, we determine restrictions on role-value maps that ensure decidability of subsumption, but we also show undecidability for the cases where these restrictions are not satisfied.

Links and resources

Tags