SWI-Prolog -- rdfs_subclass

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