 | 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.
|
See Also