Named Argument Uniterms non-polymorphic

From RIF
Jump to: navigation, search




Test TypeNegativeEntailmentTest
ContributorDave Reynolds
StatusApproved
RecordTelecon 20 April 2010
DialectBLD
PurposeIllustrate difference between frames and named-argument uniterms
DescriptionNamed argument uniterms with the same predicate symbol but different arities represent distinct predicates and so pattern p(a->?) will not match a fact p(a->foo,b->bar), whereas Frames are essentially syntactic sugar for an open set of binary predicates and so such partial patterns do match.
SeeAlsoFrame_slots_are_independent
SpecRefhttp://www.w3.org/2005/rules/wiki/BLD#Well-formed_Formulas
Premises
Presentation SyntaxDocument( Prefix(ex <http://example.org/example#>) Group ( ex:p(a->1 b->2) ) )
XMLview RIF/XML
Non-conclusion
Presentation Syntaxex:p(a->1)
XMLview RIF/XML