[protege-discussion] constraint of instance

[amel achour]

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-discussion/attachments/20070225/de45fcda/attachment.html>