|Did you know ...||Search Documentation:|
|Hierarchy and class-individual relations|
The predicates in this section explore the
rdf:type relations. Note
that the most fundamental of these,
also used by rdf_has/[3,4].
rdfs:subPropertyOfrelation. It can be used to test as well as generate sub-properties or super-properties. Note that the commonly used semantics of this predicate is wired into rdf_has/[3,4].bugThe current implementation cannot deal with cycles.bugThe current implementation cannot deal with predicates that are an
rdfs:subPropertyOf, such as
rdfs:subClassOfrelation. It can be used to test as well as generate sub-classes or super-classes.bugThe current implementation cannot deal with cycles.
rdf:typeproperty that refers to Class or a sub-class thereof. Can be used to test, generate classes Resource belongs to or generate individuals described by Class.