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-owl] Is negation can be implement by swrlb:notEqual??

Martin O'Connor martin.oconnor at
Mon Jan 14 10:14:15 PST 2008

swrlb:notEqual is a expecting OWL datatype values not OWL individuals 
[1]. In rule #2 variable ?z is unbound so you should have received the 
exception of the form "comparison built-ins do not support binding for 
(0-offset) argument #1". Did you truncate the exception text? In any 
case, rule #2 does not make any sense because ?z is introduced and never 
used again.

SWRL does not support negation as failure and you are unlikely to trick 
it into doing so.



Jibbi wrote:

>Hi Everyone,
>I've problem with implementing negation in SWRL, the logic is very simple,
>however i don't find any solution in SWRL.
> i want to say, If "Y" is not a friend of specific Member "X", get the
>contact of Member "X" and forward the request on his contact. to achieve
>that, I
>have to define negation of hasFriend property.
>1. Members(?x)  ∧ NOT hasFriend(?x, Elin)  ∧  hasContact(?x, ?t) →
>as i know i can't implement the Negation this way,
> shell i do this job done by this way?
>2. Members(?x)  ∧ hasFriend(?x, ?y) ∧ swrlb:notEqual(?y,?z) ∧ 
>hasContact(?x, ?t) →
>when i'm trying to implement Rule 2, i got this exception
>Exception importing SWRL rules and OWL knowledge:
>Jess reported an error in routine invokeSWRLBuiltIn
>	while executing (invokeSWRLBuiltIn "ForwardMobile" "swrlb:notEqual" 0 ?y
>	while executing rule LHS (Node2)
>	while executing rule LHS (Node2)
>	while executing rule LHS (Node2)
>	while executing rule LHS (Node2)
>	while executing rule LHS (MTELN)
>	while executing rule LHS (TECT)
>thanks in advance
>Najeeb Elahi

More information about the protege-owl mailing list