News

Add new post

Syllogism

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?