Package com.hp.hpl.jena.reasoner.rulesys

Examples of com.hp.hpl.jena.reasoner.rulesys.Rule$ParserException


        InfGraph infgraph =  makeInfGraph(rules, data, tabled);
        ExtendedIterator<Triple> results = infgraph.find(query);
        assertTrue(results.hasNext());
        Triple result = results.next();
        results.close();
        Rule rule = rules.get(rulenumber);
        List<Triple> matchList = Arrays.asList(matches);
        Iterator<Derivation> derivations = infgraph.getDerivation(result);
        assertTrue(derivations.hasNext());
        RuleDerivation derivation = (RuleDerivation) derivations.next();
//        PrintWriter pw = new PrintWriter(System.out);
View Full Code Here


        InfGraph infgraph =  makeInfGraph(rules, data, tabled);
        ExtendedIterator<Triple> results = infgraph.find(query);
        assertTrue(results.hasNext());
        Triple result = results.next();
        results.close();
        Rule rule = rules.get(rulenumber);
        List<Triple> matchList = Arrays.asList(matches);
        Iterator<Derivation> derivations = infgraph.getDerivation(result);
        assertTrue(derivations.hasNext());
        RuleDerivation derivation = (RuleDerivation) derivations.next();
//        PrintWriter pw = new PrintWriter(System.out);
View Full Code Here

    Node var0 = freeVar.next();
    Node var1 = freeVar.next();
    body.add(makeSubOfSomeTriple(var0, p, var1));
    translateSuper(head, domain, freeVar, var0);
   
    m_Rules.add(new Rule(head, body));
  }
View Full Code Here

    Node var1 = freeVar.next();
    body.add(makeSubOfSomeTriple(var0, p, var1));
    ATermAppl someOfRange = ATermUtils.makeSomeValues(p, range);
    translateSuper(head, someOfRange, freeVar, var0);
   
    m_Rules.add(new Rule(head, body));
  }
View Full Code Here

      body.add(makeSubOfSomeTriple(var[i], (ATermAppl) chain[i], var[i + 1]));
    }
   
    ClauseEntry head = makeSubOfSomeTriple(var[0], sup, var[var.length - 1]);
   
    m_Rules.add(new Rule(Collections.singletonList(head), body));
  }
View Full Code Here

    body.add(makeSubOfSomeTriple(var0, var1, var2));
    body.add(makePropertyAssertionFunctor(var1));
    body.add(makeSubclassTriple(var2, BOTTOM));
    ClauseEntry head = makeSubclassTriple(var0, BOTTOM);
   
    m_Rules.add(new Rule(Collections.singletonList(head), body));
  }
View Full Code Here

    List<ClauseEntry> head = CollectionUtils.makeList();
   
    Node var = freeVar.next();
    translateSub(body, sub, freeVar, var);
    translateSuper(head, sup, freeVar, var);
    m_Rules.add(new Rule(head, body));
  }
View Full Code Here

    Node var0 = freeVar.next();
    Node var1 = freeVar.next();
    body.add(makeSubOfSomeTriple(var0, p, var1));
    translateSuper(head, domain, freeVar, var0);
   
    m_Rules.add(new Rule(head, body));
  }
View Full Code Here

    Node var1 = freeVar.next();
    body.add(makeSubOfSomeTriple(var0, p, var1));
    ATermAppl someOfRange = ATermUtils.makeSomeValues(p, range);
    translateSuper(head, someOfRange, freeVar, var0);
   
    m_Rules.add(new Rule(head, body));
  }
View Full Code Here

      body.add(makeSubOfSomeTriple(var[i], (ATermAppl) chain[i], var[i + 1]));
    }
   
    ClauseEntry head = makeSubOfSomeTriple(var[0], sup, var[var.length - 1]);
   
    m_Rules.add(new Rule(Collections.singletonList(head), body));
  }
View Full Code Here

TOP

Related Classes of com.hp.hpl.jena.reasoner.rulesys.Rule$ParserException

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.