Reasoning with Individuals for the Description Logic SHIQ.

Ian Horrocks, Ulrike Sattler, Stephan Tobies

Browse the full CADE paper archive.