Vulcan/inference systems
From Knowitall
Inference on Graphs
1. HyperGraphs [1]
2. Infinite Graph [2]
3. Neo4j [3]
Triple stores
1. Virtuoso
2. OWLIM
3. Oracle
4. IBM
5. Apache Jena has support for:
-- Backward chained inferences -- General urpose Rule engine