Classification non-inheritance

From RIF

Revision as of 19:32, 16 April 2009 by StellaMitchell (Talk | contribs)
(diff) ←Older revision | Current 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.com/scientific-classification#>) Prefix(ppl <http://example.com/people#>) Prefix(cpt <http://example.com/concepts#>) Group ( ppl:john#cpt:Person cpt:Person[tax:phylum -> tax:Chordata] ) )
XMLview XML
Non-conclusion
Presentation Syntaxppl:john[tax:phylum -> tax:Chordata]
XMLview XML
Changes since WG Approval-Removed 'And' from premise to make the document well-formed
-Changed the conclusion from a document formula to a condition formula
Retrieved from "http://www.w3.org/2005/rules/wiki/Classification_non-inheritance"