rdfs:rdfs_individual

library
- semweb

rdfs_individual_of(+Resource, +Class) is semidet

rdfs_individual_of(+Resource, -Class) is nondet

rdfs_individual_of(-Resource, +Class) is nondet

Generate resources belonging to a class or classes a resource belongs to. We assume everything at the `object' end of a triple is a class. A validator should confirm this property.

rdfs_individual_of(+, -) does not exploit domain and range properties, deriving that if rdf(R, P, _) is present R must satisfy the domain of P (and similar for range).

There are a few hacks:

Any resource is an individual of rdfs:Resource
literal(_) is an individual of rdfs:Literal