@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>. @prefix : <http://example.org/socrates#>. :Socrates a :Human. :Human rdfs:subClassOf :Mortal. {?A rdfs:subClassOf ?B. ?S a ?A} => {?S a ?B}. Execute