In reply to this post by Luis Enrique Ramos García
I agree with Martin, make sure you are using the latest version. Also, have you tried using SQWRL to make sure those variables are actually getting bound as you think they are? You can do that by writing a rule where the left hand side is exactly as you have it but rather than setting properValidity to true on the right hand side after the arrow you have: sqwrl:select(?o, ?os, ?ti)
If you try this make sure to write the rule in the SQWRL tab. Then you can select the new SQWRL rule and run it. It will create a new tab in the bottom pane and print out the values of each variable every time the right side is satisfied and fires. You can put as many variables as you want in the select statement.
Also, if you are still having trouble and your ontology isn’t too large you can attach it to your email. It’s a lot easier to help debug if we can see the actual ontology.
On Jul 31, 2019, at 4:59 AM, Luis Enrique Ramos García <[hidden email]> wrote:
I am trying to do the following operation with swrl rules: