RDF Combination SubClass
From RIF
| Test Type | NegativeEntailmentTest | ||||||
|---|---|---|---|---|---|---|---|
| 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 semantics of combinations, we have that ex:a rdf:type ex:C implies ex:a # ex:C, but ex:C rdfs:subClassOf ex:D does not imply ex:C ## ex:D. Therefore, ex:a # ex:D cannot be derived. Notice that the import profile is 'Simple'. | ||||||
| SeeAlso | RDF_Combination_SubClass_2 | ||||||
| SpecRef | SWC#Common_RIF-RDF_Interpretations | ||||||
| ImportedDocument |
| ||||||
| Premises |
|
||||||
| Non-conclusion |
|
