Approved Core BLD PRD http://www.w3.org/ns/entailment/Simple Test equivalent treatment of RDF constants and RIF symbols in simple entailment 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 constants (i.e., pairs <literal, symbol space>). In particular, in combinations, there is no distinction between plain literals and literals with type xs:string. RDF_Combination_Constant_Equivalence_Graph_Entailment-import001.rdf http://www.w3.org/2005/rules/test/repository/tc/RDF_Combination_Constant_Equivalence_Graph_Entailment/RDF_Combination_Constant_Equivalence_Graph_Entailment-import001 . @prefix xs: . @prefix rif: . ex:a ex:p "this is a plain literal" . ]]> RDF_Combination_Constant_Equivalence_Graph_Entailment-premise.rif http://www.w3.org/2005/rules/test/repository/tc/RDF_Combination_Constant_Equivalence_Graph_Entailment/RDF_Combination_Constant_Equivalence_Graph_Entailment-premise.rif ) ) ]]> RDF_Combination_Constant_Equivalence_Graph_Entailment-conclusion.rif http://www.w3.org/2005/rules/test/repository/tc/RDF_Combination_Constant_Equivalence_Graph_Entailment/RDF_Combination_Constant_Equivalence_Graph_Entailment-conclusion.rif . @prefix xs: . ex:a ex:p "this is a plain literal"^^xs:string . ]]>