StarDog/Pellet are referred to here for their reasoning capabilities, not their "neo4j except more obtuse" capabilities. Fuseki/HDT aren't reasoners, Virtuoso is a partial reasoner but not complete. Don't know about Oracle, they're certainly not non-proprietary.