The specification for the D entailment is part of the RDF Semantics W3C Recommendation.