RDF Combination Constant Equivalence 1
From RIF
| Test Type | PositiveEntailmentTest | ||||||
|---|---|---|---|---|---|---|---|
| Contributor | Jos de Bruijn | ||||||
| Status | Proposed | ||||||
| Record | |||||||
| 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, an IRI in RDF is equivalent to a literal with type rif:iri in RIF. | ||||||
| SeeAlso | RDF_Combination_Constant_Equivalence_2
RDF_Combination_Constant_Equivalence_3 RDF_Combination_Constant_Equivalence_4 | ||||||
| SpecRef | SWC#Symbols_in_RIF_Versus_RDF/OWL_(Informative) SWC#Common_RIF-RDF_Interpretations | ||||||
| ImportedDocument |
| ||||||
| Premises |
|
||||||
| Conclusion |
|
