finding all justifications of owl dl entailments .
creating semantic web contents with protege - 2000 .