RDF Combination SubClass 6
From RIF
Test Type | PositiveEntailmentTest | ||||||
---|---|---|---|---|---|---|---|
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. | ||||||
SeeAlso | RDF_Combination_SubClass_5 | ||||||
SpecRef | SWC#Common_RIF-RDF_Interpretations | ||||||
ImportedDocument |
| ||||||
Premises |
|
||||||
Conclusion |
|