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:
- Every subject is of type rdfs:Resource
- Every resource that appears as a predicate is of type rdf:Property
The following predicates are exported, but not or incorrectly documented.