Examples of com.clarkparsia.pellet.rules.ObjectVariableBindingHelper


  }


  @Test
  public void testCombinatorialBindingGeneration() {
    BindingHelper genHelper1 = new ObjectVariableBindingHelper(kb.getABox(), x);
    BindingHelper genHelper2 = new ObjectVariableBindingHelper(kb.getABox(), y);


    Individual[] individualsUsed = { kb.getABox().getIndividual(mary), kb.getABox().getIndividual(robert),
                    kb.getABox().getIndividual(victor), };


    List<BindingHelper> genSet = new ArrayList<BindingHelper>();

  public void testObjectVariableBindingGenerator() {
    kb.addIndividual(mary);
    kb.addIndividual(robert);
    kb.addIndividual(victor);


    BindingHelper genHelper = new ObjectVariableBindingHelper(kb.getABox(), x);
    BindingGenerator gen = new BindingGeneratorImpl(kb.getABox(), new VariableBinding(kb.getABox()), Collections
                    .singletonList(genHelper));


    assertIteratorValues(new BindingToMapIterator(gen.iterator()), new Object[] {
                    Collections.singletonMap(x, mary), Collections.singletonMap(x, robert),

Related Classes of com.clarkparsia.pellet.rules.ObjectVariableBindingHelper

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.