Moved PGC header forward (working on RDF(S) entailment).