Frame slots are independent

From RIF

Revision as of 17:33, 25 June 2009 by StellaMitchell (Talk | contribs)
(diff) ←Older revision | Current revision (diff) | Newer revision→ (diff)
Jump to: navigation, search




Test TypePositiveEntailmentTest
ContributorDave Reynolds
StatusApproved
RecordF2F11
DialectCore
PurposeIllustrate difference between frames and named-argument uniterms
DescriptionFrames are essentially syntactic sugar for an open set of binary predicates.
SeeAlso
SpecRefhttp://www.w3.org/2005/rules/wiki/BLD#Semantic_Structures
Premises
Presentation SyntaxDocument( Prefix(ex <http://example.com/example#>) Group ( ex:o[ex:a->1 ex:b->2] ) )
XMLview XML
Conclusion
Presentation Syntaxex:o[ex:a->1]
XMLview XML
Retrieved from "http://www.w3.org/2005/rules/wiki/Frame_slots_are_independent"