man index as RDF