Computing Least Common Subsumers for FLE+

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.

• Type: Conference
• Year: 2003
• Where: DLOG
• Authors: Sebastian Brandt, Anni-Yasmin Turhan
• Keywords: Adequate Representation, Automated Reasoning, DLOG 2003, Transitive Roles, first Algorithm