IRI from IRI

From RIF
Revision as of 23:07, 2 February 2010 by StellaMitchell (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search




Test TypePositiveEntailmentTest
ContributorJos de Bruijn
StatusApproved
RecordF2F13
DialectBLD
PurposeDemonstrate that a single IRI may correspond to itself
DescriptionThe built-in predicate pred:iri-string is satisfied whenever the second argument is a string corresponding to representing the first argument. As IRI constants may be interpreted as arbitrary objects, they may be interpreted as strings as well. In this case, the IRI constant ex:a and the string "http://example.com/example#a" are equal, and so ex:a corresponds to itself.
SeeAlsoMultiple_IRIs_from_String
SpecRefBLD#Logical_Entailment
DTB#pred:iri-string
Premises
Presentation SyntaxDocument( Prefix(ex <http://example.org/example#>) Prefix(pred <http://www.w3.org/2007/rif-builtin-predicate#>) Group( ex:a="http://example.org/example#a" ) )
XMLview RIF/XML
Conclusion
Presentation Syntaxpred:iri-string("http://example.org/example#a"^^rif:iri "http://example.org/example#a"^^rif:iri)
XMLview RIF/XML