Warning:
This wiki has been archived and is now read-only.
RDF Combination SubClass 3
From RIF
| Test Type | NegativeEntailmentTest | ||||||
|---|---|---|---|---|---|---|---|
| Contributor | Jos de Bruijn | ||||||
| Status | Approved | ||||||
| Record | 13 Oct 2009 telecon | ||||||
| Dialect | BLD | ||||||
| Purpose | Test interaction between rdfs:subClassOf and ## statements in RIF | ||||||
| Description | In RIF-RDF combinations, we have that RIF ## statements imply rdfs:subClassOf statements. So, ex:a[rdfs:subClassOf -> ex:b] follows from ex:a ## ex:b. However, ## is not reflexive, and so ex:a[rdfs:subClassOf -> ex:a] is not implied. Notice that the simple profile is used. | ||||||
| SeeAlso | RDF_Combination_SubClass_4 | ||||||
| SpecRef | SWC#Common_RIF-RDF_Interpretations | ||||||
| ImportedDocument |
| ||||||
| Premises |
|
||||||
| Non-conclusion |
|