RDF Combination Blank Node

From RIF
Revision as of 12:54, 18 November 2009 by StellaMitchell (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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