rdfs_subclass

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

Availability::- use_module(library(semweb/rdfs)).

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