PublicShow -- RDFS-Lite 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 only the core RDF inferences:

Source rdf(?S, ?P, ?O, ?G)

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

Source rdf(Arg1, Arg2, Arg3)