[protege-discussion] implement negation in SWRL

[Nada Bajnaid]

Hi all
I need to implement the following rule in protege SWRL tab. It works without the negation I tried swrl:booleanNot but it does not work for me. I may use it wrong. Will anyone help me solving this problem
 
ConductedDevelopmentActivity(?D, ?A)  ∧
MakeQuary(?A, ?P)  ∧
HasKeyword(?P, ?C)  ∧
Uses(?C, ?R)  ∧
¬CoveredConcept(?D, ?C)  ∧
AssociatedWith(?R, ?LO)  ∧
¬ConsumedLearningObject(?D, ?LO) 
  → UsedResource(?A, ?LO)
 
Thanks
Nada


      
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-discussion/attachments/20100319/63b68a2b/attachment.html>