Classification non-inheritance

From RIF

Revision as of 23:54, 2 February 2010 by StellaMitchell (Talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search




Test TypeNegativeEntailmentTest
ContributorStella Mitchell
StatusApproved
RecordF2F11
DialectBLD
Purposedemonstrate and test behavior of frames and membership
DescriptionThe conclusion is not entailed from the premises because RIF BLD does not postulate the inheritance of properties from classes to its members.
SeeAlsoClassification-inheritance
SpecRefhttp://www.w3.org/2005/rules/wiki/BLD#Semantic_Structures
Premises
Presentation SyntaxDocument( Prefix(tax <http://example.org/scientific-classification#>) Prefix(ppl <http://example.org/people#>) Prefix(cpt <http://example.org/concepts#>) Group ( ppl:john#cpt:Person cpt:Person[tax:phylum -> tax:Chordata] ) )
XMLview RIF/XML
Non-conclusion
Presentation Syntaxppl:john[tax:phylum -> tax:Chordata]
XMLview RIF/XML
Retrieved from "http://www.w3.org/2005/rules/wiki/Classification_non-inheritance"
Personal tools