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 … Continue reading →