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] constraint of instance

Samson Tu swt at
Mon Feb 26 09:09:59 PST 2007

I haven't used PAL's (defrange variable primitive_type slotname) syntax.

To write a constraint that refers to a specific instance of a class, I'd do

(defrange ?i :FRAME className)

(= (:NAME ?i) "InstanceName"))

where "InstanceName" is the unique name of the instance, generated, in 
Protege frame, as something like ProjectName_NNNNNN. You can find the 
instance name displayed on top of the INSTANCE EDITOR form in the 
Instances tab.


amel achour wrote:
> Hi,
> I want to write a constraint that refers to a specific instance of a class.
> I tried this statement, it is syntactically correct but it doesn’t give 
> result :
> ** 
> *(*defrange %name_slot :STRING name_slot*)*
> *(*= %name_slot compresseur*)*
> Example:
> *(*defrange %désignation_composant :STRING désignation_composant*)*
> *(*defrange ?comp :FRAME composant*)*
> *(*defrange %valeur :INTEGER valeur*)*
> *(*defrange ?I_E :FRAME indicateur_entrée température_air*)*
> *(*defrange ?val :FRAME valeur_indicateur*)*
> *(*=> *(*and *(*avoir_comp ?val ?comp*) (*avoir_I_entrée ?comp ?I_E*) *
> *(*= %désignation_composant compresseur*))* *(*> valeur 0*))*
> I have red about PAL in the documentation of Protégé, but I didn’t find 
> any answer.    
> Thank you for your help.
> ------------------------------------------------------------------------
> Découvrez une nouvelle façon d'obtenir des réponses à toutes vos 
> questions ! Profitez des connaissances, des opinions et des expériences 
> des internautes sur Yahoo! Questions/Réponses 
> <*>.
> ------------------------------------------------------------------------
> _______________________________________________
> protege-discussion mailing list
> protege-discussion at
> Instructions for unsubscribing: 

Samson Tu                    email: swt at
Senior Research Scientist    web:
Stanford Medical Informatics phone: 1-650-725-3391
Stanford University          fax: 1-650-725-7944

More information about the protege-discussion mailing list