Multiple IRIs from String

From RIF
Revision as of 23:11, 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
Record
DialectBLD
PurposeDemonstrate that a single string may correspond to several IRIs
DescriptionThe 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.
SeeAlsoMultiple_Strings_from_IRI
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=ex:b ) )
XMLview RIF/XML
Conclusion
Presentation SyntaxAnd( pred:iri-string("http://example.org/example#a"^^rif:iri "http://example.org/example#a") pred:iri-string("http://example.org/example#b"^^rif:iri "http://example.org/example#a") )
XMLview RIF/XML