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

RDF Combination Constant Equivalence 3

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>). As a consequence, in RIF-RDF combinations, a plain literal with a language tag in RDF is equivalent to a literal of type rdf:plainLiteral in RIF.
SeeAlsoRDF_Combination_Constant_Equivalence_1

RDF_Combination_Constant_Equivalence_2

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> "with language tag"@en .
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> -> "with language tag@en"^^rdf:PlainLiteral]
XMLview RIF/XML