The specification for the entailment is part of the RIF W3C Recommendation.