Cheap Boolean Role Constructors for Description Logics.
We investigate the possibility of incorporating Boolean role constructors on simple roles into some of today's most popular description logics, focussing on cases where those extensions do not increase complexity of reasoning. We show that the expressive DLs and , serving as the logical underpi...
| Autori principali: | , , |
|---|---|
| Altri autori: | |
| Natura: | Journal article |
| Lingua: | English |
| Pubblicazione: |
Springer
2008
|