ContributorJos de BruijnStatusApprovedRecordF2F13DialectBLDPurposeDemonstrate that a single IRI may correspond to itselfDescriptionThe built-in predicate pred:iri-string is satisfied whenever the second argument is a string corresponding to representing the first argument.