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.
%0 Journal Article
%1 Baader2020-ln
%A Baader, Franz
%A Clément Théron,
%D 2020
%I Springer Science and Business Media LLC
%J KI - Künstl. Intell.
%K
%N 3
%P 291--301
%T Role-value maps and general concept inclusions in the minimal description logic with value restrictions or revisiting old skeletons in the DL cupboard
%V 34
%X 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.
@article{Baader2020-ln,
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.},
added-at = {2024-09-10T11:56:37.000+0200},
author = {Baader, Franz and {Cl{\'e}ment Th{\'e}ron}},
biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/2edac2b72bb2dd0d6199f8e18f0a15614/scadsfct},
copyright = {https://creativecommons.org/licenses/by/4.0},
interhash = {24ac0f3c26c2c6b820bcbb3bb87ac4ae},
intrahash = {edac2b72bb2dd0d6199f8e18f0a15614},
journal = {KI - K{\"u}nstl. Intell.},
keywords = {},
language = {en},
month = sep,
number = 3,
pages = {291--301},
publisher = {Springer Science and Business Media LLC},
timestamp = {2024-09-10T15:15:57.000+0200},
title = {Role-value maps and general concept inclusions in the minimal description logic with value restrictions or revisiting old skeletons in the {DL} cupboard},
volume = 34,
year = 2020
}