RDF Combination SubClass 6

From RIF
Revision as of 13:11, 18 November 2009 by StellaMitchell (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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
Location http://example.org/mygraph
Turtle
XMLview RDF/XML
Premises
Presentation SyntaxDocument( Prefix(ex <http://example.org/example#>) Import(<http://example.org/mygraph> <http://www.w3.org/ns/entailment/Simple>) Group ( ex:C ## ex:D ) )
XMLview RIF/XML
Conclusion
Presentation Syntaxex:C[rdfs:subClassOf -> ex:D]
XMLview RIF/XML