RDF Combination SubClass 3

From RIF
Revision as of 13:08, 18 November 2009 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
PurposeTest interaction between rdfs:subClassOf and ## statements in RIF
DescriptionIn 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.
SeeAlsoRDF_Combination_SubClass_4
SpecRefSWC#Common_RIF-RDF_Interpretations
ImportedDocument
Location http://example.org/mygraph
Turtle
XMLview RDF/XML
Premises
Presentation SyntaxDocument( 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 ) )
XMLview RIF/XML
Non-conclusion
Presentation Syntaxex:a[rdfs:subClassOf -> ex:a]
XMLview RIF/XML