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

RDF Combination Constant Equivalence 2

From RIF
Jump to: navigation, search



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

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> "this is a plain literal" .
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 plain literal"]
XMLview RIF/XML
Retrieved from "https://www.w3.org/2005/rules/wiki/index.php?title=RDF_Combination_Constant_Equivalence_2&oldid=12477"