Dear all, I am working on a distributed non-axiomatic reasoning system, based on the formalism called Non-axiomatic logic. In short, it belongs to the field of artificial general intelligence, and includes (among other things) forward inference (e.g. logical deduction, induction, abduction, etc.), backward inference and statement inconsistency management. More details can be found here: http://www.cis.temple.edu/~pwang/papers.html
The system can be used on RDF tripplets as well. In fact, I'm using Jena to import some datasets into my database. My current implementation is in Scala and uses Titan ( http://thinkaurelius.github.io/titan/) on top of Cassandra as the backend. If you'd be interested in something like this, I would be more than happy to contribute my code to Jena. Best, Dejan
