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

RDF Combination Constant Equivalence 1

From RIF
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