Unordered Relations

From RIF

Jump to: navigation, search




Test TypePositiveEntailmentTest
ContributorAdrian Paschke
StatusProposed
Record
DialectBLD
PurposeUnordered relations with named arguments
DescriptionThis test cases demonstrates how to use unordered relations with named arguments in RIF BLD
SeeAlsoOrdered_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(value -> "10"^^xs:integer customer -> ?Customer) :- ex:gold(customer -> ?Customer) ) Forall ?Customer ( ex:discount(customer -> ?Customer value -> "5"^^xs:integer) :- ex:silver(customer -> ?Customer) ) ex:gold(customer -> "John Doe") ) )
XMLview XML
Conclusion
Presentation Syntaxex:discount(customer -> "John Doe" value -> "10"^^xs:integer)
XMLview XML
Retrieved from "http://www.w3.org/2005/rules/wiki/Unordered_Relations"