Ordered Relations

From RIF

Jump to: navigation, search




Test TypePositiveEntailmentTest
ContributorAdrian Paschke
StatusProposed
Record
DialectCore
PurposeOrdered relations
DescriptionThis test case demonstrates the use of ordered relations.
SeeAlsoUnordered_Relations 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(?Customer "10"^^xs:integer) :- ex:gold(?Customer) ) Forall ?Customer ( ex:discount(?Customer "5"^^xs:integer) :- ex:silver(?Customer) ) ex:gold("John Doe") ) )
XMLview XML
Conclusion
Presentation Syntaxex:discount("John Doe" "10"^^xs:integer)
XMLview XML
Retrieved from "http://www.w3.org/2005/rules/wiki/Ordered_Relations"