A Description Logic with Transitive and Converse Roles and Role Hierarchies
I. Horrocks and U. Sattler
Institution
LuFg Theoretical Computer Science‚ RWTH Aachen‚ Germany
Number
98−05
Year
1998
I. Horrocks and U. Sattler