Classification non-inheritance

From RIF
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