bookmark

Pushing the EL Envelope Further by Franz Baader, Sebastian Brandt, Carsten Lutz


Описание

We extend the description logic EL++ with reflexive roles and range restrictions, and show that subsumption remains tractable if a certain syntactic restriction is adopted. We also show that subsumption becomes PSpace-hard (resp. undecidable) if this restriction is weakened (resp. dropped). Additionally, we prove that tractability is lost when symmetric roles are added: in this case, subsumption becomes ExpTime- hard

тэги

Пользователи данного ресурса

  • @bshanks

Комментарии и рецензии