[protege-discussion] transitive closure in Frame-Based Protege

[Samson Tu]

Is the transitive closure of a slot relationship defined as

(findall ?i (exists ?j (or (slot-name ?j ?i)(slot-name ?i ?j))))

If not, what do you mean?

Samson

Markus Bohr wrote:
> Hello,
> 
> May I use PAL-constraints if I have to calculate a transitive closure for a 
> slot relationship (of identical value type and domain) within Frame-Based 
> Protege?
> If not, what Protege mechanism / plugin to use best for it?
> Has anyone amde experiences?
> 
> Best wishes,
> Markus.
> 
> _______________________________________________
> 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 
> 


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