RDF Combination Constant Equivalence 4

From RIF

Test Type	PositiveEntailmentTest
Contributor	Jos de Bruijn
Status	Proposed
Record
Dialect	Core
Purpose	Test equivalent treatment of RDF constants and RIF symbols in simple entailment
Description	The 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>). In particular, in combinations, there is no distinction between plain literals and literals with type xs:string. Note that in the RIF Presentation Syntax, "this is a plain literal," as seen in the conclusion of this test case, is equivalent to "this is a plain literal"^^xs:string
SeeAlso	RDF_Combination_Constant_Equivalence_1 RDF_Combination_Constant_Equivalence_2 RDF_Combination_Constant_Equivalence_3
SpecRef	SWC#Symbols_in_RIF_Versus_RDF/OWL_(Informative) SWC#Common_RIF-RDF_Interpretations
ImportedDocument	Format Turtle Location http://example.org/mygraph Text @prefix xs: <www.w3.org/2001/XMLSchema#> . <http://a> <http://p> "this is a plain literal"^^xs:string .
Premises	Presentation Syntax Document( Import(<http://example.org/mygraph> <http://www.w3.org/ns/entailment/Simple>) ) XML view XML
Conclusion	Presentation Syntax <http://a>[<http://p> -> "this is a plain literal"] XML view XML