Classification-inheritance

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

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




Test TypePositiveEntailmentTest
ContributorAxel Polleres
StatusApproved
RecordF2F13
DialectBLD
PurposeDemonstrate and test behavior of frames and membership
DescriptionThe conclusion is entailed from the premises by a separate rule which makes all property values of classes inherit to their instances. Note that this overly general rule is not an example of good modeling practice.
SeeAlsoClassification_non-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 ( Forall ?C ?I ?P ?V ( ?I[?P -> ?V] :- And (?C[?P -> ?V] ?I#?C ) ) ppl:john#cpt:Person cpt:Person[tax:phylum -> tax:Chordata] ) )
XMLview RIF/XML
Conclusion
Presentation Syntaxppl:john[tax:phylum -> tax:Chordata]
XMLview RIF/XML