rdfs.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

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

 individual_of(?Resource, ?Class)[private]

 rdfs_has_type(+Resource, -Class) is nondet[private]

rdfs_has_type(-Resource, +Class) is nondet[private]

Perform RDFS entailment rules to enumerate the types of Resource or generate all resources entailed by the given class.