Correct syntax of rules

[neha gupta]

(1) greaterThan(?score1,?score2)^(?score1, ?score3)

(2) greaterThan(?score1,?score2)^ greaterThan(?score1, ?score3)

In Jena rules, the ist statement is correct or the second?

[Dave Reynolds]

Post by neha gupta
(1) greaterThan(?score1,?score2)^(?score1, ?score3)
(2) greaterThan(?score1,?score2)^ greaterThan(?score1, ?score3)
In Jena rules, the ist statement is correct or the second?

Neither, conjunction of terms in Jena rules is just "," so

... greaterThan(?score1,?score2), greaterThan(?score1, ?score3) ...

Dave

[neha gupta]

Thanks Dave, its really new knowledge for me as I thought ^ is used as
AND(conjunction).

Post by Dave Reynolds

Post by neha gupta
(1) greaterThan(?score1,?score2)^(?score1, ?score3)
(2) greaterThan(?score1,?score2)^ greaterThan(?score1, ?score3)
In Jena rules, the ist statement is correct or the second?

Neither, conjunction of terms in Jena rules is just "," so
... greaterThan(?score1,?score2), greaterThan(?score1, ?score3) ...
Dave

[Martynas Jusevičius]

Why would you think that? Does the documentation say that?
https://jena.apache.org/documentation/inference/#rules

Post by neha gupta
Thanks Dave, its really new knowledge for me as I thought ^ is used as
AND(conjunction).

Post by Dave Reynolds

Post by neha gupta
(1) greaterThan(?score1,?score2)^(?score1, ?score3)
(2) greaterThan(?score1,?score2)^ greaterThan(?score1, ?score3)
In Jena rules, the ist statement is correct or the second?

Neither, conjunction of terms in Jena rules is just "," so
... greaterThan(?score1,?score2), greaterThan(?score1, ?score3) ...
Dave