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] Can we make a negative rule using SWRL?

Yu Lin linikujp at
Fri Dec 9 09:27:15 PST 2011


A negative rule might not be a good term here.
What I meant is that: to use rule to say a statement is not true.

For the example given in SWRL submission page in W3C:

parent(?x,?y) ∧ brother(?y,?z) ⇒ uncle(?x,?z)

What if I want to say;

R1(?x,?y) ∧ R2(?y,?z) => is not true R3 (?x,?z)

(R: stands for relation)

Or there will be other way to do this?

Thank you very much!

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the protege-discussion mailing list