1. HyperGraphs [1]
2. Infinite Graph [2]
3. Neo4j [3]
1. Virtuoso
2. OWLIM
3. Oracle
4. IBM
5. Jena
-- Supports backward chained inferences -- Supports a general purpose engine