Individual Reuse in Description Logic Reasoning.

Boris Motik, Ian Horrocks

Browse the full CADE paper archive.