RDF Combination Constant Equivalence 1

From RIF
Revision as of 20:42, 19 April 2010 by StellaMitchell (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search



Test TypePositiveEntailmentTest
ContributorJos de Bruijn
StatusApproved
RecordMarch 2, 2010 telecon
DialectCore
PurposeTest equivalent treatment of RDF constants and RIF symbols in simple entailment
DescriptionThe syntax for constants in RIF and RDF is slightly different; RDF has a number of different kinds of constants (e.g., IRI, in a literal, typed literal), whereas RIF has a single kind of constant (i.e., a pair <literal, symbol space>). As a consequence, in RIF-RDF combinations, an IRI in RDF is equivalent to a literal with type rif:iri in RIF.
SeeAlsoRDF_Combination_Constant_Equivalence_2

RDF_Combination_Constant_Equivalence_3

RDF_Combination_Constant_Equivalence_4
SpecRefSWC#Symbols_in_RIF_Versus_RDF/OWL_(Informative)
SWC#Common_RIF-RDF_Interpretations
ImportedDocument
Location http://example.org/mygraph
Turtle<http://example.org#a> <http://example.org#p> <http://example.org#b> .
XMLview RDF/XML
Premises
Presentation SyntaxDocument( Import(<http://example.org/mygraph> <http://www.w3.org/ns/entailment/Simple>) )
XMLview RIF/XML
Conclusion
Presentation Syntax<http://example.org#a>[<http://example.org#p> -> <http://example.org#b>]
XMLview RIF/XML