the incredible elk .
finding all justifications of owl dl entailments .