rdf-logic-example.txt

rdf-logic-example.txt

:p rdf:range :v

:q rdfs:subPropertyOf :p

:a :q :b

=> :b rdf:type :v

:b is the object in a statement with property :q, 
:q is subproperty of :p and 
:p has range of type :v, 

it follows that :b has type :v



===================================

:p rdfs:range :v

:q rdfs:subPropertyOf :p

:q rdfs:range :w

:a :p :b

:a :q :d

=> :b rdf:type :v

=> :d rdf:type :v

=> :d rdf:type :w


:b rdf:type :v  -  The range of :p is :v

:d rdf:type :v  -  As :q is subproperty of :p, all subject-objects related by :q are also related by :p, therefore, we can accept the inference that :d has rdf:type :v.

:d rdf:type :w  -  Correct! As :q is subproperty of :p, all subject-objects related by :q are also related by :p, therefore, we can accept the inference that :d has rdf:type :w.