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

RDF Combination Blank Node

From RIF
Jump to: navigation, search



Test TypePositiveEntailmentTest
ContributorStella Mitchell
StatusApproved
RecordF2F12
DialectCore
PurposeTest interaction between RDF and BLD with respect to blank nodes
DescriptionBlank 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.
SeeAlso
SpecRefhttp://www.w3.org/2005/rules/wiki/SWC#RDF_Compatibility
ImportedDocument
Location http://example.org/mygraph
Turtle_:x <http://example.org/example#hasName> "John" .
XMLview RDF/XML
Premises
Presentation SyntaxDocument( 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] ) ) )
XMLview RIF/XML
Conclusion
Presentation SyntaxExists ?z ( ?z["http://www.w3.org/1999/02/22-rdf-syntax-ns#type"^^rif:iri -> <http://example.org/example#named>] )
XMLview RIF/XML
Retrieved from "https://www.w3.org/2005/rules/wiki/index.php?title=RDF_Combination_Blank_Node&oldid=11772"