RDF Combination SubClass 6

From RIF

Revision as of 17:57, 2 November 2009 by StellaMitchell (Talk | contribs)
Jump to: navigation, search



Test TypePositiveEntailmentTest
ContributorJos de Bruijn
StatusApproved
Record13 Oct 2009 telecon
DialectBLD
PurposeTest interaction between rdfs:subClassOf and ## statements in RIF
DescriptionIn RIF-RDF combinations, we have that RIF ## statements imply rdfs:subClassOf statements.
SeeAlsoRDF_Combination_SubClass_5
SpecRefSWC#Common_RIF-RDF_Interpretations
ImportedDocument
Format NTriples
Location http://example.org/mygraph
Text
Premises
Presentation SyntaxDocument( Prefix(ex <http://example.org/example#>) Import(<http://example.org/mygraph> <http://www.w3.org/2007/rif-import-profile#Simple>) Group ( ex:C ## ex:D ) )
XMLview XML
Conclusion
Presentation Syntaxex:C[rdfs:subClassOf -> ex:D]
XMLview XML
Retrieved from "http://www.w3.org/2005/rules/wiki/RDF_Combination_SubClass_6"