Manual:DumpCategoriesAsRdf.php/de-formal

Details
The dumpCategoriesAsRdf.php maintenance script generates a Resource Description Framework (RDF) dump of categories in a wiki.