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

IRI from RDF Literal

From RIF
Jump to: navigation, search



Test TypePositiveEntailmentTest
ContributorJos de Bruijn
StatusApproved
RecordF2F13
DialectCore
PurposeTest extracting IRIs from RDF plain literals
DescriptionA plain literal in RDF is seen as a string in RIF-RDF combinations, and therefore it is possible to "extract" IRI constants from such literals using the pred:iri-string built-in predicate.
SeeAlso
SpecRefSWC#RDF_Compatibility
DTB#pred:iri-string
ImportedDocument
Location http://example.org/mygraph
Turtle_:x <http://example.org/example#hasWebSite> "http://www.example.org/" .
XMLview RDF/XML
Premises
Presentation SyntaxDocument( Prefix(ex <http://example.org/example#>) Prefix(pred <http://www.w3.org/2007/rif-builtin-predicate#>) Prefix(foaf <http://xmlns.com/foaf/0.1/>) Import(<http://example.org/mygraph> <http://www.w3.org/ns/entailment/Simple>) Group ( Forall ?x ?y ?z (?y[foaf:homepage -> ?z] :- And( ?y[ex:hasWebSite -> ?x] External(pred:iri-string(?z ?x)) ) ) ) )
XMLview RIF/XML
Conclusion
Presentation SyntaxExists ?x (?x[foaf:homepage -> "http://www.example.org/"^^rif:iri])
XMLview RIF/XML