RDF Combination SubClass 3

Test Type	NegativeEntailmentTest
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. So, ex:a[rdfs:subClassOf -> ex:b] follows from ex:a ## ex:b. However, ## is not reflexive, and so ex:a[rdfs:subClassOf -> ex:a] is not implied. Notice that the simple profile is used.
SeeAlso	RDF_Combination_SubClass_4
SpecRef	SWC#Common_RIF-RDF_Interpretations
ImportedDocument	Location http://example.org/mygraph Turtle XML view RDF/XML
Premises	Presentation Syntax Document( Prefix(ex <http://example.org/example#>) Prefix(rdfs <http://www.w3.org/2000/01/rdf-schema#>) Import(<http://example.org/mygraph> <http://www.w3.org/ns/entailment/Simple>) Group ( ex:a ## ex:b ) ) XML view RIF/XML
Non-conclusion	Presentation Syntax ex:a[rdfs:subClassOf -> ex:a] XML view RIF/XML