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

Examples of com.hp.hpl.jena.reasoner.rulesys.ClauseEntry


        org.apache.stanbol.rules.manager.atoms.LessEqualThanAtom tmp = (org.apache.stanbol.rules.manager.atoms.LessEqualThanAtom) ruleAtom;

        ExpressionAtom argument1 = tmp.getArgument1();
        ExpressionAtom argument2 = tmp.getArgument2();

        ClauseEntry clauseEntry1 = adapter.adaptTo(argument1, Rule.class);
        ClauseEntry clauseEntry2 = adapter.adaptTo(argument2, Rule.class);

        List<ClauseEntry> clauseEntries = new ArrayList<ClauseEntry>();

        if (clauseEntry1 instanceof HigherOrderClauseEntry) {
            arg1Node = ((HigherOrderClauseEntry) clauseEntry1).getBindableNode();
View Full Code Here


    for (int i = 0; i < chain.length; i++) {
      var[i + 1] = freeVar.next();
      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

    Node var2 = freeVar.next();
    List<ClauseEntry> body = CollectionUtils.makeList();
    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

    for (int i = 0; i < chain.length; i++) {
      var[i + 1] = freeVar.next();
      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

    Node var2 = freeVar.next();
    List<ClauseEntry> body = CollectionUtils.makeList();
    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

        object = object.substring(1, object.length()-1);
      }
      classNode = Node_RuleVariable.createURI(object);
    }
   
    ClauseEntry clauseEntry = new TriplePattern(argumnetNode, Node_RuleVariable.createURI(RDF.type.getURI()), classNode);
    return new JenaClauseEntryImpl(clauseEntry, jenaVariableMap);
  }
View Full Code Here

        predicate = predicate.substring(1, predicate.length()-1);
      }
      predicateNode = Node_RuleVariable.createURI(predicate);
    }
   
    ClauseEntry clauseEntry = new TriplePattern(subjectNode, predicateNode, objectNode);
    return new JenaClauseEntryImpl(clauseEntry, jenaVariableMap);
  }
View Full Code Here

        predicate = predicate.substring(1, predicate.length()-1);
      }
      predicateNode = Node_RuleVariable.createURI(predicate);
    }
   
    ClauseEntry clauseEntry = new TriplePattern(subjectNode, predicateNode, objectNode);
    return new JenaClauseEntryImpl(clauseEntry, jenaVariableMap);
  }
View Full Code Here

TOP

Related Classes of com.hp.hpl.jena.reasoner.rulesys.ClauseEntry

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.