RDF Combination SubClass 2
From RIF
Test Type | PositiveEntailmentTest | ||||||
---|---|---|---|---|---|---|---|
Contributor | Jos de Bruijn | ||||||
Status | Approved | ||||||
Record | 13 Oct 2009 telecon | ||||||
Dialect | Core | ||||||
Purpose | Test interaction between rdfs:subClassOf, rdf:type, ## and # in RIF | ||||||
Description | In RIF-RDF combinations, we have that rdf:type statements are equivalent to RIF # statements and RIF ## statements imply rdfs:subClassOf statements. By the RDFS semantics we have that ex:a rdf:type ex:D must hold and by the semantics of combinations, we have that ex:a rdf:type ex:D implies ex:a # ex:D. Therefore, ex:a # ex:D is derived. | ||||||
SeeAlso | RDF_Combination_SubClass | ||||||
SpecRef | SWC#Common_RIF-RDF_Interpretations | ||||||
ImportedDocument |
| ||||||
Premises |
|
||||||
Conclusion |
|