en-de
en-es
en-fr
en-pt
en-sl
en
en-zh
0.25
0.5
0.75
1.25
1.5
1.75
2
Decidability of SHI with Transitive Closure of Roles
Published on 2009-07-283609 Views
This paper investigates a Description Logic, namely $\mathcal{SHI}_+$, which extends $\mathcal{SHI}$ by adding transitive closure of roles. The resulting logic $\mathcal{SHI}_+$ allows transitive clo