?z http://www.w3.org/2000/01/rdfschema#type?w )] Inference Rule 1: [rule1: (?z http://www.w3.org/2000/01/rdfschema#type ?y) (?y http://www.w3.org/2000/01/rdfschema#type ?x) -> ( ?z http://www.w3.org/2000/01/rdfschema#type ?x )]   These rules are detailed in JENA -compatible SWRL form but may also be expressed using SPARQL (JENA is a semantic web framework).   Could this not be achieved in a traditional