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