Package com.clarkparsia.pellet.rules.rete

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


      assert false;
    }
  }

  private Fact makeSubclassFact(ATermAppl t1, ATermAppl t2) {
    return new Fact(DependencySet.INDEPENDENT, PRED_SUB, t1, t2);
  }
View Full Code Here


//  private Fact makeSubclassFact(Constant t1, Constant t2) {
//    return new Fact(DependencySet.INDEPENDENT, PRED_SUB, t1, t2);
//  }

  private Fact makeSubOfSomeFact(ATermAppl t1, ATermAppl t2, ATermAppl t3) {
    return new Fact(DependencySet.INDEPENDENT, PRED_SUB_SOME, t1, t2, t3);
  }
View Full Code Here

TOP

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

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.