PublicShow sourcerdfs.pl -- RDFS entailment

The function of an entailment module is to provide an implementation of rdf/3 that extends basic triple-lookup using the entailment rules of the semantic web sub language of RDF.

This entailment module does RDFS entailment.

To be done
- Check the completeness
Source rdf(?S, ?P, ?O, ?G)