Error : Built-In for SWRL

[GANys]

Hi, I wanna know if there is a list of Built-In for SWRL that aren't supported by Openllet.

It is "only" a warning but the rule is quite important in my Ontology !

2017-10-31 18:12:06 WARNING openllet.core.KnowledgeBaseImpl consistency Ignoring rule Rule(bnode(-7972c0ca:15f736b33a9:-7fb1) [hasPreviousItem(?x,?y), hasInput(?x,?a), hasOutput(?y,?b), differentFrom([?a, ?b])] => [hasError(?x,"Error : The I/O Data are not valid."^^string)]): No builtin for http://www.w3.org/2002/07/owl#differentFrom

The rule is enabled in Protégé using Pellet.

Thank you in advance !

[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 !