Comment by bsb

There's also Stardog (stardog.com), from the makers of the Pellet OWL reasoner, which just entered this space. AllegoGraph is pretty cool, one of the best examples of commercial LISP success, and they have a pretty rich ecosystem around AllegroGraph (Jena, Sesame, etc support).