Package com.clarkparsia.pellet.rules.rete

Examples of com.clarkparsia.pellet.rules.rete.Interpreter.run()

107
108
109
110
111
112
113
114
115
116
117
          interp.rete.compile( reteRule, explain );
        }
      }
     
      interp.rete.compileFacts( abox );
      Set<Fact> inferred = interp.run();

      if( log.isLoggable( Level.FINE ) )
        log.fine( inferred.size() + " inferred fact(s)" );
     
      //need to add the inferred facts back to the tableau
View Full Code Here
87
88
89
90
91
92
93
94
95
96
97
      interpreter.addFact(fact);
    }
    m_Facts = null;
    m_Names.reset();

    Set<Fact> facts = interpreter.run();

    MultiValueMap<ATermAppl, ATermAppl> subsumers = getSubsumers(facts);
    for (ATermAppl c : classes) {
      subsumers.add(c, c);
      subsumers.add(c, ATermUtils.TOP);
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.