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

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

May I suggest on UCR 2.4:

If inspector believes vehicle is repairable then process as repair otherwise process as total loss.


RIF might be:

?Vehicle#<ex:Vehicle>[<ex:status> -> "repair"] :- 
               ?Inspector#<p:Inspector>[<p:hasBelief> -> <ex:repair>(?Vehicle)].

?Vehicle#<ex:Vehicle>[<ex:status> -> "notRepairable"] :- 
               NOT(?Inspector#<p:Inspector>[<p:hasBelief> -> <ex:repair>(?Vehicle)]).


In a much more realistic case an inspector may have a collection of 
beliefs at a specific time about a collection of cars it examined. Then 
the rules should be changed accordingly.

-Adrian G.

Received on Tuesday, 20 May 2008 12:00:53 UTC