%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 }