Making the Difference: A Subtraction Operation for Description Logics.

Gunnar Teege

Browse the full KR paper archive.