RDF Combination SubClass 5

From RIF
Revision as of 22:19, 2 February 2010 by StellaMitchell (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search



Test TypeNegativeEntailmentTest
ContributorJos de Bruijn
StatusApproved
Record13 Oct 2009 telecon
DialectBLD
DialectPRD
PurposeTest interaction between rdfs:subClassOf and ## statements in RIF
DescriptionIn RIF-RDF combinations, we have that RIF ## statements imply rdfs:subClassOf statements, but not vice versa.
SeeAlsoRDF_Combination_SubClass_6
SpecRefSWC#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#> . ex:C rdfs:subClassOf ex:D .
XMLview RDF/XML
Premises
Presentation SyntaxDocument( Import(<http://example.org/mygraph> <http://www.w3.org/ns/entailment/Simple>) )
XMLview RIF/XML
Non-conclusion
Presentation Syntaxex:C ## ex:D
XMLview RIF/XML