[protege-discussion] PAL general question

[Samson Tu]

Constraints are defined for instances of classes. You can define 
constraints for a specific instance by writing

(forall ?x (=> (= (:NAME ?x) "instance name")
                (constraints for the instance)
)

Samson

daniel.goergen at biotronik.com wrote:
> 
> Hello,
> 
> is it possible to define a constraint in PAL for a specific instance?
> As I understand it, you can only define  constraints for Classes or 
> slots right?
> 
> 
> Mit freundlichen Grüßen
> Kind regards,
> 


-- 
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