Negotiating eCommerce Transactions Through Disclosure of Buyer and Seller Policies and Preferences

From Wiki

Jump to: navigation, search
Rule: A customer must not disclose two different credit cards to the same online shop.
Text syntax
release(credential(?C1#<ex:CreditCard>))) :-             
                     ?customer#<p:Customer>[<p:creditCards>->?CCards],             
                     External(<swrlb:member>(?C1,?CCards)),             
                     External(<swrlb:member>(?C2,?CCards)),             
                     ?C1 != ?C2,
                     not(release(credential(C2#<ex:CreditCard>))).
XML Syntax
not available

Issues:

  • This rule requires negation.
  • This rule requires handling of collections (actually is used an external predicate)

See also: rif:UCR#Negotiating eCommerce Transactions Through Disclosure of Buyer and Seller Policies and Preferences

Personal tools