TransitiveReasoner
forwardchaining
triples
RDFGraph