Warning:
This wiki has been archived and is now read-only.
RDF Combination Constant Equivalence 3
From RIF
| Test Type | PositiveEntailmentTest | ||||||
|---|---|---|---|---|---|---|---|
| Contributor | Jos de Bruijn | ||||||
| Status | Approved | ||||||
| Record | F2F12 | ||||||
| Dialect | Core | ||||||
| Purpose | Test equivalent treatment of RDF constants and RIF symbols in simple entailment | ||||||
| Description | The 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. | ||||||
| SeeAlso | RDF_Combination_Constant_Equivalence_1
RDF_Combination_Constant_Equivalence_2 RDF_Combination_Constant_Equivalence_4 | ||||||
| SpecRef | SWC#Symbols_in_RIF_Versus_RDF/OWL_(Informative) SWC#Common_RIF-RDF_Interpretations | ||||||
| ImportedDocument |
| ||||||
| Premises |
|
||||||
| Conclusion |
|