A Description Logic with Transitive and Converse Roles‚ Role Hierarchies and Qualifying Number Restrictions
Ian Horrocks‚ Ulrike Sattler and Stephan Tobies
Details
| Institution |
LuFg Theoretical Computer Science‚ RWTH Aachen‚ Germany |
| Number |
99−08 |
| Year |
1999 |