Approved BLD http://www.w3.org/ns/entailment/Simple Test interaction between rdfs:subClassOf and ## statements in RIF In RIF-RDF combinations, we have that RIF ## statements imply rdfs:subClassOf statements. RDF_Combination_SubClass_6-import001.rdf http://www.w3.org/2005/rules/test/repository/tc/RDF_Combination_SubClass_6/RDF_Combination_SubClass_6-import001 RDF_Combination_SubClass_6-premise.rif http://www.w3.org/2005/rules/test/repository/tc/RDF_Combination_SubClass_6/RDF_Combination_SubClass_6-premise.rif ) Import( ) Group ( ex:C ## ex:D ) ) ]]> RDF_Combination_SubClass_6-conclusion.rif http://www.w3.org/2005/rules/test/repository/tc/RDF_Combination_SubClass_6/RDF_Combination_SubClass_6-conclusion.rif ex:D] ]]>