Practical reasoning for very expressive description logics (2000)

by I Horrocks, U Sattler, S Tobies
Venue:Logic Journal of the IGPL