Isn’t there a need for cacheing the results of the various reasoners in a FOL form?
I believe there is a need for a XML format different from RDF that will capture the result of logic calculation on 2 (or more) RDF entities (read syllogism).
This way the reasoning calculations can become distributable, addressable, expandable.
Your take on this?
FOL = http://en.wikipedia.org/wiki/First-order_logic