Error : Built-In for SWRL

[GANys]

Error : Built-In for SWRL

[Galigator]

There is no real differences in the support of swrl built-in between pellet and openllet.

By the way, according to https://www.w3.org/Submission/SWRL/#2.1 the "differentFrom" construction is an Atom not an https://www.w3.org/Submission/SWRL/#8
I just test it adding an SWRL.differentFrom(varX, varY) to [https://github.com/Galigator/openllet/blob/integration/module-owlapi/src/test/java/openllet/pellet/owlapi/test/TestBasic.java#L533](a test with swrl); and it look good.
Maybe there is a problem in your setup.

There is a list somewhere of supported / unsupported builtin. If I remember, almost everything is supported except on Date(only basics) and String(only basics too).

[GANys]

I don't get it.

I do understand why the rule doesn't work: it is not strict enough for the open world assumption. But that is my conception of the rule that I need to work on.

Am I supposed to create this owl:differentFrom by myself?

[Galigator]

No, your aren't supposed to create owl:differentFrom by youself. It should work out of the box.

Here an example of ontology that is using owl:differentFrom in a simple swrl rule (?A-p-x , ?B-p-y, x > y, differentFrom([?A,?B]) --> ?A-sup-?B ).
test.ttl.zip

[GANys]

Oh. I found my mistake.

You have to write it DifferentFrom instead of owl:differentFrom.

My bad, thanks a lot !