[protege-discussion] implement negation in SWRL

[Thomas Russ]

On Mar 19, 2010, at 5:05 AM, Nada Bajnaid wrote:

> 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

Short answer:  You can't.

Longer answer:  http://protege.cim3.net/cgi-bin/wiki.pl?SWRLLanguageFAQ#nidA3Q

Even if you could write classical negation, open world semantics would  
severely limit the circumstances in which the system would be able to  
prove that the negation is true.

>
> ConductedDevelopmentActivity(?D, ?A)  ∧
> MakeQuary(?A, ?P)  ∧
> HasKeyword(?P, ?C)  ∧
> Uses(?C, ?R)  ∧
> ¬CoveredConcept(?D, ?C)  ∧
> AssociatedWith(?R, ?LO)  ∧
> ¬ConsumedLearningObject(?D, ?LO)
>   → UsedResource(?A, ?LO)