A Description Logic with Transitive and Inverse Roles and Role Hierarchies
Ian Horrocks and Ulrike Sattler
Annote
AKA: Horrocks98j
Journal
J. of Logic and Computation
Number
3
Pages
385–410
Volume
9
Year
1999
Ian Horrocks and Ulrike Sattler