problem in using "differentFrom" in swrl rules

[amira.ibrah...@gmail.com]

Dear Experts,

Can you please help me to solve this problem in protege 3.4.8:

I have two different individual in class "C" and a property "p" with range and domain "C". I wanna model a very simple swrl rule as "C(?i) ^ C(j) ^ differentFrom(?i,?j) -> p(?i,?j)". It does no generate any result, however when I remove the "differentFrom" it generates result. what is the

problem? Am I using something wrong?

Thanks for your comments in advance,

[Evren Sirin]

Stardog does not support differentFrom inferences. You can use the
swrlb:notEqual builtin instead. Or you can use the Stardog rules
syntax [1] and your rule would look like this:

IF {
?i a :C .
?j a :C .
FILTER (?i != ?j)
}
THEN {
?i :p :j
}

Best,
Evren

http://docs.stardog.com/#_stardog_rules_syntax

> --
> -- --
> You received this message because you are subscribed to the C&P "Stardog"
> group.
> To post to this group, send email to sta...@clarkparsia.com
> To unsubscribe from this group, send email to
> stardog+u...@clarkparsia.com
> For more options, visit this group at
> http://groups.google.com/a/clarkparsia.com/group/stardog?hl=en