Package com.clarkparsia.pellet.rules.rete

Examples of com.clarkparsia.pellet.rules.rete.TermTuple

82
83
84
85
86
87
88
89
  @Test
  public void testDifferentIndividualsAtom() {
    kb.addIndividual(a);
    DifferentIndividualsAtom atom = new DifferentIndividualsAtom(vx, ca);
    TermTuple triple = new TermTuple(DependencySet.INDEPENDENT, Compiler.DIFF_FROM, vrx, cra);
    assertEquals(triple, ruleTranslator.translateAtom(atom, DependencySet.INDEPENDENT));
  }
View Full Code Here
91
92
93
94
95
96
97
98
  @Test
  public void testIndividualPropertyAtom() {
    kb.addObjectProperty(pi);
    kb.addIndividual(a);
    IndividualPropertyAtom atom = new IndividualPropertyAtom(pi, vx, ca);
    TermTuple triple = new TermTuple(DependencySet.INDEPENDENT, pi, vrx, cra);
    assertEquals(triple, ruleTranslator.translateAtom(atom, DependencySet.INDEPENDENT));
  }
View Full Code Here
99
100
101
102
103
104
105
106
  @Test
  public void testSameIndividualAtom() {
    kb.addIndividual(a);
    SameIndividualAtom atom = new SameIndividualAtom(vx, ca);
    TermTuple triple = new TermTuple(DependencySet.INDEPENDENT, Compiler.SAME_AS, vrx, cra);
    assertEquals(triple, ruleTranslator.translateAtom(atom, DependencySet.INDEPENDENT));
  }
View Full Code Here
108
109
110
111
112
113
114
115
116
117
118
119
120
  @Test
  public void testTranslateRule() {
    kb.addObjectProperty(pi);
    kb.addIndividual(a);
    IndividualPropertyAtom bodyAtom = new IndividualPropertyAtom(pi, vx, ca);
    TermTuple bodyTriple = new TermTuple(DependencySet.INDEPENDENT, pi, vrx, cra);
    SameIndividualAtom headAtom = new SameIndividualAtom(vx, ca);
    TermTuple headTriple = new TermTuple(DependencySet.INDEPENDENT, Compiler.SAME_AS, vrx, cra);

    Rule rule = new Rule(Collections.singletonList((RuleAtom) headAtom), Collections
                    .singletonList((RuleAtom) bodyAtom));
    com.clarkparsia.pellet.rules.rete.Rule reteRule = new com.clarkparsia.pellet.rules.rete.Rule(Collections
                    .singletonList(bodyTriple), Collections.singletonList(headTriple));
View Full Code Here
173
174
175
176
177
178
179
180
181
      var[i + 1] = freeVar.next();
      body.add(makeSubOfSomeTuple(var[i], (ATermAppl) chain[i],
          var[i + 1]));
    }

    TermTuple head = makeSubOfSomeTuple(var[0], sup, var[var.length - 1]);

    m_Rules.add(new Rule(body, Collections.singletonList(head)));
  }
View Full Code Here
194
195
196
197
198
199
200
201
202
    ATermAppl var1 = freeVar.next();
    ATermAppl var2 = freeVar.next();
    List<TermTuple> body = CollectionUtils.makeList();
    body.add(makeSubOfSomeTuple(var0, var1, var2));
    body.add(makeSubclassTuple(var2, BOTTOM));
    TermTuple head = makeSubclassTuple(var0, BOTTOM);

    m_Rules.add(new Rule(body, Collections.singletonList(head)));
  }
View Full Code Here
307
308
309
310
311
312
313
  private Fact makeSubOfSomeFact(ATermAppl t1, ATermAppl t2, ATermAppl t3) {
    return new Fact(DependencySet.INDEPENDENT, PRED_SUB_SOME, t1, t2, t3);
  }

  private TermTuple makeSubclassTuple(ATermAppl t1, ATermAppl t2) {
    return new TermTuple(DependencySet.INDEPENDENT, PRED_SUB, t1, t2);
  }
View Full Code Here
315
316
317
318
319
320
321
322
  // private TermTuple makeSubOfSomeTuple(Term t1, ATermAppl p, Term t2) {
  // return makeSubOfSomeTuple( t1, m_Names.get( p ), t2 );
  // }

  private TermTuple makeSubOfSomeTuple(ATermAppl t1, ATermAppl p, ATermAppl t2) {
    return new TermTuple(DependencySet.INDEPENDENT, PRED_SUB_SOME, t1, p,
        t2);
  }
View Full Code Here
TOP

Related Classes of com.clarkparsia.pellet.rules.rete.TermTuple

  • aterm.ATermAppl
  • com.clarkparsia.pellet.el.ReteBasedELClassifier
  • com.clarkparsia.pellet.rules.ContinuousReteTransformer
  • com.clarkparsia.pellet.rules.RulesToReteTranslator
  • com.clarkparsia.pellet.rules.RulesToReteTranslator$AtomTranslator
  • org.mindswap.pellet.test.rules.MiscRuleTests
  • org.mindswap.pellet.test.rules.TranslatorTests
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.