Skip to main content

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