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