consistency ignoring rule

[galigator]

consistency ignoring rule

[Galigator]

Hello, I don't know this "eval" builtin function.
It doesn't look standard :

https://www.w3.org/Submission/SWRL/#8
http://dior.ics.muni.cz/~makub/owl/#swrlpredicates

Where does it come from ?

You can find some example of swrl with openllet here :

with standards builtin :
https://github.com/Galigator/openllet/blob/integration/module-owlapi/src/test/java/openllet/pellet/owlapi/test/TestBasic.java#L463
https://github.com/Galigator/openllet/blob/integration/module-owlapi/src/test/java/openllet/pellet/owlapi/test/TestBasic.java#L506

with user define builtin :
https://github.com/Galigator/openllet/blob/integration/module-owlapi/src/test/java/openllet/pellet/owlapi/test/TestBasic.java#L583

You can also take a look here for a complete list of already implemented builtins.
https://github.com/Galigator/openllet/blob/integration/tests/src/test/java/openllet/test/rules/SWRLBuiltIns.java (but there is no 'eval' function to be implemented).
Files in the same directory may enlighten you.

Also be careful with Jena, it is only 'OWL1', you may have surprises.

[Galigator]

My bad, you are using : https://github.com/protegeproject/swrlapi/wiki/SQWRL not SWRL.
SQWRL isn't support by Openllet. Maybe we could implement a bridge to SQWRL using the user define SWRL in Openllet. Also It would kill the the 'explenation' feature, that allow user to understand what's going on when inconsistency appear.

[shadialian]

no, I am using swrl to define the rules.
this is the link to the builtins https://github.com/protegeproject/swrlapi/wiki/MathematicalBuiltInLibrary

[Galigator]

swrlm:eval(?r, "(57 * x) / y)", ?x, ?y)" is an SQWRL construct not an SWRL construct.

By reading https://github.com/protegeproject/swrlapi/wiki/SQWRL, I understand that binding SQWRL to Openllet could be an interesting 3 years phd research project.

[shadialian]

Thanks for the clarification. is there any guides for creating custom built-ins for openllet. And for the Jena that it only support OWL1. do you have any alternatives that I can use? I am currently using the Fuseki server to query my ontology over HTTP using sparql from mobile apps.

[Galigator]

There is no guides for creating custom built-ins for openllet, but there is one example :
https://github.com/Galigator/openllet/blob/integration/module-owlapi/src/test/java/openllet/pellet/owlapi/test/TestBasic.java#L744

A replacement for Jena, could be the OWL-API, but it doesn't come with fuseki like tool, instead it use RIO/rdf4j like tools.