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

amel achour lemaruohca at yahoo.fr
Sun Feb 25 14:59:12 PST 2007


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>


More information about the protege-discussion mailing list