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] PAL general question

Samson Tu swt at
Tue Mar 13 10:10:16 PDT 2007

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)


daniel.goergen at 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
Senior Research Scientist    web:
Stanford Medical Informatics phone: 1-650-725-3391
Stanford University          fax: 1-650-725-7944

More information about the protege-discussion mailing list