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

RDF Combination Constant Equivalence 4

From RIF
Jump to: navigation, search



Test TypePositiveEntailmentTest
ContributorJos de Bruijn
StatusApproved
RecordMay 4, 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>). 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 string," as seen in the conclusion of this test case, is equivalent to "this is a string"^^xs:string
SeeAlsoRDF_Combination_Constant_Equivalence_1

RDF_Combination_Constant_Equivalence_2

RDF_Combination_Constant_Equivalence_3
SpecRefSWC#Symbols_in_RIF_Versus_RDF/OWL_(Informative)
SWC#Common_RIF-RDF_Interpretations
ImportedDocument
Location http://example.org/mygraph
Turtle@prefix xs: <www.w3.org/2001/XMLSchema#> . <http://example.org#a> <http://example.org#p> "this is a string"^^xs:string .
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> -> "this is a string"]
XMLview RIF/XML