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