Named Arguments

From RIF
(Redirected from Unordered Relations)
Jump to: navigation, search




Test TypePositiveEntailmentTest
ContributorAdrian Paschke
StatusApproved
RecordMay 4, 2010 telecon
DialectBLD
PurposeTo demonstrate different syntactic options for specifying arguments
DescriptionThis test case demonstrates the same use case as "positional arguments" and "frames" using named arguments instead of positional arguments or frames.
SeeAlsoPositional Arguments, Frames
SpecRefhttp://www.w3.org/2005/rules/wiki/BLD
Premises
Presentation SyntaxDocument( Prefix(ex <http://example.org/example#>) Prefix(xs <http://www.w3.org/2001/XMLSchema#>) Group ( Forall ?Customer ( ex:discount(value -> 10 customer -> ?Customer) :- ex:gold(customer -> ?Customer) ) Forall ?Customer ( ex:discount(customer -> ?Customer value -> 5) :- ex:silver(customer -> ?Customer) ) ex:gold(customer -> "John Doe") ) )
XMLview RIF/XML
Conclusion
Presentation Syntaxex:discount(customer -> "John Doe" value -> 10)
XMLview RIF/XML