Added a faster RDF search for MongoDB.