Package com.clarkparsia.pellet.rules.rete

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


    ATermAppl var0 = freeVar.next();
    ATermAppl var1 = freeVar.next();
    body.add(makeSubOfSomeTuple(var0, p, var1));
    translateSuper(head, domain, freeVar, var0);

    m_Rules.add(new Rule(body, head));
  }
View Full Code Here


    ATermAppl var1 = freeVar.next();
    body.add(makeSubOfSomeTuple(var0, p, var1));
    ATermAppl someOfRange = ATermUtils.makeSomeValues(p, range);
    translateSuper(head, someOfRange, freeVar, var0);

    m_Rules.add(new Rule(body, head));
  }
View Full Code Here

          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

    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

    List<TermTuple> head = CollectionUtils.makeList();

    ATermAppl var = freeVar.next();
    translateSub(body, sub, freeVar, var);
    translateSuper(head, sup, freeVar, var);
    m_Rules.add(new Rule(body, head));
  }
View Full Code Here

TOP

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

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.