Negotiating eCommerce Transactions Through Disclosure of Buyer and Seller Policies and Preferences
From Wiki
| 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)

