Optimizing the Computation of a Possibilistic Heuristic to Test OWL SubClassOf Axioms Against RDF Data | IEEE Conference Publication | IEEE Xplore