rdfs_subproperty

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_subproperty_of(?SubProperty, ?Property)

True if SubProperty is equal to Property or Property can be reached from SubProperty following the rdfs:subPropertyOf relation. It can be used to test as well as generate sub-properties or super-properties. Note that the commonly used semantics of this predicate is wired into rdf_has/[3,4].^{bugThe
current implementation cannot deal with cycles}.^{bugThe
current implementation cannot deal with predicates that are an rdfs:subPropertyOf
of rdfs:subPropertyOf, such as owl:samePropertyAs.}