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

View source for IRI from RDF Literal

Jump to: navigation, search

You do not have permission to edit this page, for the following reason:

The action you have requested is limited to users in one of the groups: Users, 106, 38457-chairs.

You can view and copy the source of this page.

{{TestCase
|type=PositiveEntailmentTest
|author=Jos de Bruijn
|status=Approved 
|approval=[http://www.w3.org/2005/rules/wg/meeting/2009-04-17#resolution_21 F2F13]
|dialect=Core
|importProfile=RDF
|purpose=Test extracting IRIs from RDF plain literals
|desc=A 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 <tt>pred:iri-string</tt> built-in predicate.
|specRef=[[SWC#RDF_Compatibility]] <br />
[[DTB#pred:iri-string]]
|iformat=Turtle
|iloc=http://example.org/mygraph 
|itext=
 _:x <http://example.org/example#hasWebSite> "http://www.example.org/" . 
|pformat=[[Presentation Syntax]]
|premise=
 Document(
     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))
         )
       )
     )
 ) 
|cformat=[[Presentation Syntax]]
|conc=
     Exists ?x (?x[foaf:homepage -> "http://www.example.org/"^^rif:iri])

}}

Template used on this page:

Template:TestCase (view source)

Return to IRI from RDF Literal.

Retrieved from "https://www.w3.org/2005/rules/wiki/IRI_from_RDF_Literal"

View source for IRI from RDF Literal

Navigation menu

Personal tools

Namespaces

Variants

Views

More

RIF Working Group

publications

Tools