SWI-Prolog -- Hierarchy and class-individual relations

Documentation
- Reference manual
- Packages
  - SWI-Prolog Semantic Web Library 3.0
    - library(semweb/rdfs): RDFS related queries
      - Hierarchy and class-individual relations
        
        rdfs_subproperty_of/2
        
        rdfs_subclass_of/2
        
        rdfs_class_property/2
        
        rdfs_individual_of/2
      - Collections and Containers

8.1 Hierarchy and class-individual relations

The predicates in this section explore the rdfs:subPropertyOf, rdfs:subClassOf and rdf:type relations. Note that the most fundamental of these, rdfs:subPropertyOf, is also used by rdf_has/[3,4].

rdfs_subproperty_of(?SubProperty, ?Property): True if SubProperty is equal to Property or Property can be reached from SubProperty following the rdfs:subPropertyOf relation. 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
of rdfs:subPropertyOf, such as owl:samePropertyAs.}
rdfs_subclass_of(?SubClass, ?Class): True if SubClass is equal to Class or Class can be reached from SubClass following the rdfs:subClassOf relation. It can be used to test as well as generate sub-classes or super-classes.^{bugThe
current implementation cannot deal with cycles}.
rdfs_class_property(+Class, ?Property): True if the domain of Property includes Class. Used to generate all properties that apply to a class.
rdfs_individual_of(?Resource, ?Class): True if Resource is an indivisual of Class. This implies Resource has an rdf:type property 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.