[protege-discussion] Re : constraint of instance

[benhocine rachid]

I have never worked by constraint, but if you want some other thing in proteger2000, you can ask me to my mail box: rachidini at yahoo.fr
good bey


----- Message d'origine ----
De : amel achour <lemaruohca at yahoo.fr>
À : protege-discussion at lists.stanford.edu
Envoyé le : Dimanche, 25 Février 2007, 23h59mn 12s
Objet : [protege-discussion] constraint of instance


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 lists.stanford.edu
https://mailman.stanford.edu/mailman/listinfo/protege-discussion

Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03


	

	
		
___________________________________________________________________________ 
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.answers.yahoo.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-discussion/attachments/20070226/94bbd508/attachment.html>