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