Practical reasoning for very expressive description logics (0)

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