RDFS.pl -- The Resource Description Framework Schema model.

author
- Daniel Beßler
 has_type(+Resource, ?Type) is semidet
rdf:type is an instance of rdf:Property that is used to state that a resource is an instance of a class.
Arguments:
Resource- a RDF resource
Type- a rdf:type of the resource
 is_resource(+Entity) is semidet
All things described by RDF are called resources, and are instances of the class rdfs:Resource. This is the class of everything. All other classes are subclasses of this class. rdfs:Resource is an instance of rdfs:Class.
Arguments:
Entity- An entity IRI.
 is_property(+Entity) is semidet
rdf:Property is the class of RDF properties. rdf:Property is an instance of rdfs:Class.
Arguments:
Entity- An entity IRI.
 is_literal(+Entity) is semidet
The class rdfs:Literal is the class of literal values such as strings and integers. Property values such as textual strings are examples of RDF literals.

rdfs:Literal is an instance of rdfs:Class. rdfs:Literal is a subclass of rdfs:Resource.

Arguments:
Entity- An entity IRI.
 is_datatype(+Entity) is semidet
rdfs:Datatype is the class of datatypes. All instances of rdfs:Datatype correspond to the RDF model of a datatype described in the RDF Concepts specification. rdfs:Datatype is both an instance of and a subclass of rdfs:Class. Each instance of rdfs:Datatype is a subclass of rdfs:Literal.
Arguments:
Entity- An entity IRI.
 has_range(?Property, ?Range) is nondet
The range of a property globally restricts values of the property to instances of the range.
Arguments:
Property- a property
Range- the range of the property
 has_domain(?Property, ?Domain) is nondet
The domain of a property globally restricts hosts of the property to instances of the domain.
Arguments:
Property- a property
Domain- the range of the property
 has_label(+Resource, ?Comment) is semidet
rdfs:label is an instance of rdf:Property that may be used to provide a human-readable version of a resource's name.
Arguments:
Resource- a RDF resource
Label- a label atom
 has_comment(+Resource, ?Comment) is semidet
rdfs:comment is an instance of rdf:Property that may be used to provide a human-readable description of a resource.
Arguments:
Resource- a RDF resource
Comment- a comment atom
 instance_of(?Entity, ?Type) is nondet[multifile]
The type of an entity (rdf:type). For example: `Nibbler instance_of Cat`.

Note: that the projection clause of this rule allows Entity to be a variable, in which case a new entity symbol is generated.

Arguments:
Entity- a named individual
Type- the type of the entity
 subclass_of(?Class, ?SuperClass) is nondet[multifile]
The subclass-of relation (rdfs:subClassOf). For example: `Cat subclass_of Animal`.
Arguments:
Class- a class IRI
SuperClass- a class IRI
 subproperty_of(?Property, ?SuperProperty) is nondet[multifile]
The subproperty-of relation (rdfs:subPropertyOf).
Arguments:
Property- a property IRI
SuperProperty- a property IRI
 rdf_list(+RDF_list, -Pl_List) is semidet
Read a RDF list into a Prolog list.