Thanks, Soroka. That's also what I suspect. Anyone know how to make two variables like ?x2 and ?x3 different in a rule?
On Tue, May 31, 2016 at 9:14 AM, A. Soroka <aj...@virginia.edu> wrote: > If I understand what's happening here correctly (and someone who > understands the reasoners better should correct or confirm this, please!), > your one triple "X relation1 X2" is matching _both_ terms in your rule. > Nothing in that rule says that ?x2 must be a different thing than ?x3. > > --- > A. Soroka > The University of Virginia Library > > > > On May 31, 2016, at 8:09 AM, Victor Guo <guos...@gmail.com> wrote: > > > > Hi, Guys > > I have the following rule: > > > > [rule1: (?x relation1 ?x2), (?x relation1 ?x3) -> (A, B, C)] > > > > Normally, this rule should apply to the following model: > > > > (X relation1 X2) > > (X relation1 X3) > > > > which it does apply and generate the (A, B, C) triple. However, it also > > applies to the following model and generates (A, B, C): > > > > (X relation1 X2) > > > > which seems to me it shouldn't. > > > > Am I understanding the reasoner syntax wrong? > > > > Thanks > > > > On Fri, May 27, 2016 at 1:58 PM, Victor Guo <guos...@gmail.com> wrote: > > > >> Hi, Guys > >> I have the following rule: > >> > >> [rule1: (?x relation1 ?x2), (?x relation1 ?x3) -> (A, B, C)] > >> > >> Normally, this rule should apply to the following model: > >> > >> (X relation1 X2) > >> (X relation1 X3) > >> > >> which it does apply and generate the (A, B, C) triple. However, it also > >> applies to the following model and generates (A, B, C): > >> > >> (X relation1 X2) > >> > >> which seems to me it shouldn't. > >> > >> Am I understanding the reasoner syntax wrong? > >> > >> Thanks > >> > >> > > > > > > -- > > Confidential > > Copyright 2015 BeulahWorks, LLC. All Rights Reserved. > > All contents included in this email, including email title, body, and > > attachments,etc. are proprietary to BeulahWorks, LLC. > > Contact: David A. Nevill email: dnev...@beulahinc.com > > -- Confidential Copyright 2015 BeulahWorks, LLC. All Rights Reserved. All contents included in this email, including email title, body, and attachments,etc. are proprietary to BeulahWorks, LLC. Contact: David A. Nevill email: dnev...@beulahinc.com
