W3C home > Mailing lists > Public > public-rif-wg@w3.org > May 2008

On UCR Document as of May 18 2008 (UC 2.2)

From: Adrian Giurca <giurca@tu-cottbus.de>
Date: Tue, 20 May 2008 13:37:38 +0200
Message-ID: <4832B802.5030102@tu-cottbus.de>
To: "'Public-Rif-Wg (E-mail)'" <public-rif-wg@w3.org>

I believe that in the UC 2.2 the following rule is not clear:

Never disclose two different credit cards to the same online shop.

I guess this rule should apply in the context on a customer otherwise 
does not have to much meaning. I suggest

"A customer must not disclose two different credit cards to the same 
online shop"

Then a RIF encoding might be:

release(credential(?C1#<ex:CreditCard>))) :- 
             ?C1 != ?C2,

Two issues here:
- This rule seems to require negation.
- Handling of collections (actually I used an external predicate)

 From my point of view "allow" is an action. I modeled "allow" by means 
of  the existence of a specific fact  i.e.


-Adrian G.
Received on Tuesday, 20 May 2008 11:38:35 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:07:44 UTC