8.1 Hierarchy and class-individual relations
All
Application
Manual
Name
Summary
Help
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.
bug
The current implementation cannot deal with cycles
.