Practical reasoning for very expressive description logics (0)

by I Horrocks, U Sattler, S Tobies
Venue:Interest Group in Pure and Applied Logic