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