RDF Combination Constant Equivalence Graph Entailment

From RIF

Revision as of 17:55, 2 November 2009 by StellaMitchell (Talk | contribs)
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 constants (i.e., pairs <literal, symbol space>). In particular, in combinations, there is no distinction between plain literals and literals with type xs:string.
SeeAlso
SpecRefSWC#Common_RIF-RDF_Interpretations
ImportedDocument
Format Turtle
Location http://example.org/mygraph
Text@prefix ex: <http://example.org/#> . @prefix xs: <http://www.w3.org/2001/XMLSchema#> . @prefix rif: <http://www.w3.org/2007/rif#> . ex:a ex:p "this is a plain literal" .
Premises
Presentation SyntaxDocument( Import(<http://example.org/mygraph> <http://www.w3.org/2007/rif-import-profile#Simple>) )
XMLview XML
Conclusion
Presentation Syntax@prefix ex: <http://example.org/#> . @prefix xs: <http://www.w3.org/2001/XMLSchema#> . ex:a ex:p "this is a plain literal"^^xs:string .
XMLview XML
Retrieved from "http://www.w3.org/2005/rules/wiki/RDF_Combination_Constant_Equivalence_Graph_Entailment"