RDF Combination SubClass 2

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	Location http://example.org/mygraph Turtle @prefix ex: <http://example.org/example#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . ex:a rdf:type ex:C . ex:C rdfs:subClassOf ex:D . XML view RDF/XML
Premises	Presentation Syntax Document( Import(<http://example.org/mygraph> <http://www.w3.org/ns/entailment/RDFS>) ) XML view RIF/XML
Conclusion	Presentation Syntax ex:a # ex:D XML view RIF/XML