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