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

View source for RDF Combination Blank Node

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=Stella Mitchell
|status=Approved
|approval=[http://www.w3.org/2005/rules/wg/meeting/2009-01-14#RDF__5f_Combination__5f_Blank__5f_Node F2F12]
|dialect=Core
|importProfile=RDF
|purpose=Test interaction between RDF and BLD with respect to blank nodes
|desc=Blank nodes cannot be referenced directly from a RIF rule because they are local to a specific RDF graph. However, variables do range over objects denoted by blank nodes, so it is possible to "access" an object denoted by a blank node from a RIF rule by using a variable.
|specRef=http://www.w3.org/2005/rules/wiki/SWC#RDF_Compatibility
|iformat=Turtle
|iloc=http://example.org/mygraph
|itext=
 _:x <http://example.org/example#hasName> "John" . 
|pformat=[[Presentation Syntax]]
|premise=
 Document(

     Prefix(ex  <http://example.org/example#>)
     Prefix(rdf <http://www.w3.org/1999/02/22-rdf-syntax-ns#>)
     Import(<http://example.org/mygraph> <http://www.w3.org/ns/entailment/RDF>)

     Group (
        Forall ?x ?y ( ?x[rdf:type -> ex:named] :- ?x[ex:hasName -> ?y] )
        
     )
 ) 
|cformat=[[Presentation Syntax]]
|conc=
     Exists ?z ( ?z["http://www.w3.org/1999/02/22-rdf-syntax-ns#type"^^rif:iri -> <http://example.org/example#named>] )   

}}

Template used on this page:

Template:TestCase (view source)

Return to RDF Combination Blank Node.

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

View source for RDF Combination Blank Node

Navigation menu

Personal tools

Namespaces

Variants

Views

More

RIF Working Group

publications

Tools