Search Mailing List Archives

Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-discussion] PAL constraints

Samson Tu swt at
Thu Apr 24 09:15:04 PDT 2008

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

(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.

More information about the protege-discussion mailing list