You are viewing a plain text version of this content. The canonical link for it is here.
Posted to users@jena.apache.org by neha gupta <ne...@gmail.com> on 2016/11/30 17:55:25 UTC

Correct syntax of rules

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

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

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

Re: Correct syntax of rules

Posted by Martynas Jusevičius <ma...@graphity.org>.
Why would you think that? Does the documentation say that?
https://jena.apache.org/documentation/inference/#rules

On Thu, Dec 1, 2016 at 1:45 PM, neha gupta <ne...@gmail.com> wrote:
> Thanks Dave, its really new knowledge for me as I thought ^ is used as
> AND(conjunction).
>
> On Thu, Dec 1, 2016 at 2:03 AM, Dave Reynolds <da...@gmail.com>
> wrote:
>
>> On 30/11/16 17:55, neha gupta wrote:
>>
>>> (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
>>
>>
>>

Re: Correct syntax of rules

Posted by neha gupta <ne...@gmail.com>.
Thanks Dave, its really new knowledge for me as I thought ^ is used as
AND(conjunction).

On Thu, Dec 1, 2016 at 2:03 AM, Dave Reynolds <da...@gmail.com>
wrote:

> On 30/11/16 17:55, neha gupta wrote:
>
>> (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
>
>
>

Re: Correct syntax of rules

Posted by Dave Reynolds <da...@gmail.com>.
On 30/11/16 17:55, neha gupta wrote:
> (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