finding all justifications of owl dl entailments .
Swoop: A Web Ontology Editing Browser