* [RDF_DETECT,FIX] Free the memory file after use.
* [RDF_ENT,RDFS_ENT,EXT] Added the max_enumerator setting.
* [RDF_MAT,EXT] Change the max_enumerator setting using an option.
* [RDF_SERIAL,FIX] Return the RDF graph option, when used.
* [RDF_VOCABULAR,SC] Sync to RDF entailment.