A Python library for RDF manipulation