Warning:
This wiki has been archived and is now read-only.
Multiple IRIs from String
From RIF
| Test Type | PositiveEntailmentTest | ||||
|---|---|---|---|---|---|
| Contributor | Jos de Bruijn | ||||
| Status | Approved | ||||
| Record | |||||
| Dialect | BLD | ||||
| Purpose | Demonstrate that a single string may correspond to several IRIs | ||||
| Description | The built-in predicate pred:iri-string is satisfied whenever the second argument is a string corresponding to and IRI representing the first argument. A single string may correspond to multiple IRI constants. In this case, the IRI constants ex:a and ex:b are equal, and so either constant corresponds to either string representation. In particular, "http://example.com/example#a" is a string representation for both "http://example.com/example#a"^^rif:iri and "http://example.com/example#b"^^rif:iri. | ||||
| SeeAlso | Multiple_Strings_from_IRI | ||||
| SpecRef | BLD#Logical_Entailment DTB#pred:iri-string | ||||
| Premises |
|
||||
| Conclusion |
|