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] implement negation in SWRL

Thomas Russ tar at ISI.EDU
Fri Mar 19 09:26:49 PDT 2010

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:

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)

More information about the protege-discussion mailing list