typeside t schema s : rdf ---------------------------------- mapping (to_prefix s prefix) : s -> prefix s prefix