Fig. 1From: Inferring ontology graph structures using OWL reasoningExample of inferring edges resulting from sub-property axioms and applying transitive reduction. a Syntactic reasoner, b Elk reasoner with t flag FALSE, c Elk reasoner with t flag TRUEBack to article page