RDF Combination Member 1

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

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



Test TypePositiveEntailmentTest
ContributorDave Reynolds
StatusApproved
RecordF2F12
DialectBLD
Purposetest relationships between #/## and rdf:type/rdfs:subClassOf
DescriptionDeclaring i to be rdf:type A leads to i#A since rdf:type and # are equivalent.

Conversely declaring k#A leads to the frame corresponding to the triple: k rdf:type A. Declaring A##B leads to A rdfs:subClassOf B since rdfs:subClassOf is a super-property of ##,

and so to i rdf:type B.
SeeAlsoRDF_Combination_SubClass

RDF_Combination_SubClass_2
RDF_Combination_SubClass_3
RDF_Combination_SubClass_4
RDF_Combination_SubClass_5

RDF_Combination_SubClass_6
SpecRefhttp://www.w3.org/2005/rules/wiki/SWC#RDF_Compatibility
ImportedDocument
Location http://example.org/mygraph
Turtle<http://example.org/example#i> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/example#A>.
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:A ## ex:B ex:k # ex:A ) )
XMLview RIF/XML
Conclusion
Presentation SyntaxAnd ( ex:i # ex:A ex:k[rdf:type->ex:A] ex:A[rdfs:subClassOf->ex:B] ex:i # ex:B ex:i[rdf:type->ex:B] )
XMLview RIF/XML