Loading and removing triples directly from a file