[protege-discussion] PAL constraints

[Samson Tu]

I think it would help if you become more familiar with logic. Taking 
some liberty with your representing, your criterion may look like the 
following:

(forall ?Customer (=> (and (> (LicenseLengthInYears ?Customer) 1)
                            (> (Age ?Customer) 25)))
                       (= (ResponseToRent ?Customer) "Yes")))



jason clark wrote:
> Last question on Protege Axiom Lanaguage Syntax
>  
> I am trying to write a PAL syntax that will say rent a car to a person 
> if the customer has had a license for more than a year *AND* is older 
> than 25 years. Here is my best shot at it but obviously it still doesn't 
> work
>  
> Statement:
>  
> (forall ?Customer
>         (= ( 'LicenseAtLeastOneYear' ?Customer) 
> ('Response_Must_Be_Yes_To_Rent' ?Customer)))
> (and  (> ( Age ?Customer) 25 ))
> 
> Range:
>  
> (defrange ?Customer :FRAME Customer)
>  
> Please help.
>