Computing Least Common Subsumers for FLE
Sebastian Brandt, Anni-Yasmin Turhan · 2003
Transitive roles are important for adequate representation of knowledge in a range of applications. In this paper we present a first algorithm to compute least common subsumers in a description logic with transitive roles.