correcting axiom about refs:subClassOf to properly model intentionality