[protege-discussion] constraint of instance

[Samson Tu]

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.

Samson


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 
> <http://fr.rd.yahoo.com/evt=42054/*http://fr.answers.yahoo.com>.
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> protege-discussion mailing list
> protege-discussion at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-discussion
> 
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 


-- 
Samson Tu                    email: swt at stanford.edu
Senior Research Scientist    web: www.stanford.edu/~swt/
Stanford Medical Informatics phone: 1-650-725-3391
Stanford University          fax: 1-650-725-7944