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