Decidability of SHI with Transitive Closure of Roles
Published on Jul 28, 20093599 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