Unfolding T-boxes in GO using POPL

“Unfolding a T-box” may sound like some quaint tea ceremony ritual, but in fact in the context of description logics it refers to the iterative replacement of classes by equivalent anonymous class expressions. Many reasoners take advantage of T-box unfolding behind the scenes. But there may be reasons to unfold your T-box in a more [...]