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

RDF Combination Constant Equivalence Graph Entailment

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 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
Location http://example.org/mygraph
Turtle@prefix ex: <http://example.org/example#> . @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" .
XMLview RDF/XML
Premises
Presentation SyntaxDocument( Import(<http://example.org/mygraph> <http://www.w3.org/ns/entailment/Simple>) )
XMLview RIF/XML
Conclusion
Presentation Syntax@prefix ex: <http://example.org/example#> . @prefix xs: <http://www.w3.org/2001/XMLSchema#> . ex:a ex:p "this is a plain literal"^^xs:string .
XMLview RIF/XML
Retrieved from "https://www.w3.org/2005/rules/wiki/index.php?title=RDF_Combination_Constant_Equivalence_Graph_Entailment&oldid=12024"