Signature-Based ABox Abduction in ALC is Hard.

Patrick Koopmann

Browse the full KR paper archive.