Practical reasoning for very expressive description logics (0)

by Ian Horrocks, Ulrike Sattler, Stephan Tobies
Venue:Interest Group in Pure and Applied Logic