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