RDF Combination Constant Equivalence 2
|Contributor||Jos de Bruijn|
|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