PorterExport Method

Overload List

	Name	Description
	Export(IGraph, ListString)	Exports the given graph to a file with the given filename. The format is determined by the file extension. Currently available is: .gxl; the format .grs/.grsi needs the named graph export. Optionally suffixed by .gz; in this case they are saved gzipped. Any errors will be reported by exception.
	Export(INamedGraph, ListString)	Exports the given named graph to a file with the given filename. The format is determined by the file extension. Currently available are: .grs/.grsi or .gxl or .xmi. Optionally suffixed by .gz; in this case they are saved gzipped. Any errors will be reported by exception.