Frames

From RIF
(Redirected from Test Case Frames)
Jump to: navigation, search




Test TypePositiveEntailmentTest
ContributorAdrian Paschke
StatusApproved
Record
DialectCore
PurposeTo demonstrate different syntactic options for specifying arguments
DescriptionThis test case demonstrates the same use case as "named arguments" and "positional arguments" using frames instead of named or positional arguments.
SeeAlsoNamed Arguments, Positional Arguments
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 ( ?Customer[ex:discount -> 10] :- ?Customer[ex:status -> "gold"] ) Forall ?Customer ( ?Customer[ex:discount -> 5] :- ?Customer[ex:status -> "silver"] ) ex:customer017[ex:status -> "gold" ex:name -> "John Doe"] ) )
XMLview RIF/XML
Conclusion
Presentation Syntaxex:customer017[ex:discount -> 10 ex:name -> "John Doe"]
XMLview RIF/XML