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