Parka is an inferencing database, built for use with the semantic web. It is currently undergoing revision to support RDF internally.