"So perhaps you’d think that all logic induction and reasoning engines have graph rewrite systems at their core, right? So you’d think. In fact, almost none of

"So perhaps you’d think that all logic induction and reasoning engines have graph rewrite systems at their core, right? So you’d think. In fact, almost none of them do." Hmm not sure about this sentence. The most popular knowledge representation format RDF is actually a graph representation. SPARQL is a query language based on subgraph matching. SPIN provides a framework for writing rules on top of that. Couldn't those be used as a starting point instead?