A Description Logic with Transitive and Inverse Roles and Role Hierarchies
I. Horrocks and U. Sattler
Book Title
Proc. of the 1998 Description Logic Workshop (DL'98)
Pages
72–81
Series
CEUR (http://ceur-ws.org/)
Volume
11
Year
1998
I. Horrocks and U. Sattler