Unique identifier defined for the OWL Entailment with Direct Semantics