[protege-discussion] Can we make a negative rule using SWRL?

[Yu Lin]

Hi,

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!

Asiyah
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-discussion/attachments/20111209/36d8f4cd/attachment.html>