The specification for the entailment is part of the OWL 2 W3C Recommendation.