Named Argument Uniterms non-polymorphic

From RIF
Revision as of 08:51, 21 April 2010 by Christian de Sainte Marie (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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