Unique identifier defined for the OWL Entailment with Direct Semantics
The specification for the entailment is part of the OWL 2 W3C Recommendation.