Package com.clarkparsia.pellet.rules

Examples of com.clarkparsia.pellet.rules.ContinuousRulesStrategy

4479
4480
4481
4482
4483
4484
4485
4486
4487
4488
4489
    // We don't need to use rules strategy if we are checking concept satisfiability unless
    // there are nominals because then rules may affect concept satisfiability and we need
    // to use rules strategy
    if( getRules().size() > 0 && (expressivity.hasNominal() || !conceptSatisfiability) ) {
      if( PelletOptions.USE_CONTINUOUS_RULES ) {
        return new ContinuousRulesStrategy( abox );
      }
      else {
        return new RuleStrategy( abox );
      }
    }
View Full Code Here
4513
4514
4515
4516
4517
4518
4519
4520
4521
4522
4523
   
    // We don't need to use rules strategy if we are checking concept satisfiability unless
    // there are nominals because then rules may affect concept satisfiability and we need
    // to use rules strategy
    if( getRules().size() > 0 && (expressivity.hasNominal() || !conceptSatisfiability) ) {
      return new ContinuousRulesStrategy( abox );
    }
   
    boolean fullDatatypeReasoning = PelletOptions.USE_FULL_DATATYPE_REASONING
        && (expressivity.hasCardinalityD() || expressivity.hasKeys());
View Full Code Here
TOP

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

  • aterm.ATermAppl
  • com.clarkparsia.pellet.expressivity.Expressivity
  • com.clarkparsia.pellet.rules.model.Rule
  • com.clarkparsia.pellet.rules.rete.AlphaNetwork
  • com.clarkparsia.pellet.rules.rete.Compiler
  • com.clarkparsia.pellet.rules.rete.Interpreter
  • org.mindswap.pellet.DependencySet
  • org.mindswap.pellet.Edge
  • org.mindswap.pellet.EdgeList
  • org.mindswap.pellet.Individual
    • 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.