Warning:
This wiki has been archived and is now read-only.

Multiple Strings from IRI

From RIF
Jump to: navigation, search




Test TypePositiveEntailmentTest
ContributorJos de Bruijn
StatusApproved
Record
DialectBLD
PurposeDemonstrate that a single IRI may correspond to several strings
DescriptionThe 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.
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=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#a"^^rif:iri "http://example.org/example#b") )
XMLview RIF/XML