Practical Reasoning for Description Logics with Functional Restrictions‚ Inverse and Transitive Roles‚ and Role Hierarchies
I. Horrocks‚ U. Sattler and S. Tobies
Details
| Book Title |
Proceedings of the first workshop on Methods for Modalities (M4M−1) |
| Key |
Proceedings of M4M1 |
| Month |
MAY |
| Year |
1999 |