Reasoning with individuals for the description logic shiq (0)

by I Horrocks, U Sattler, S Tobies
Venue:Proc. of the 17th Conf. on Automated Deduction (CADE-17), number 1831 in Lecture