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 stanford.edu
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)
)

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




More information about the protege-discussion mailing list