Package org.mindswap.pellet.tableau.completion

Examples of org.mindswap.pellet.tableau.completion.EmptySRIQStrategy


    boolean fullDatatypeReasoning = PelletOptions.USE_FULL_DATATYPE_REASONING
        && (expressivity.hasCardinalityD() || expressivity.hasKeys());

    if( !fullDatatypeReasoning ) {
      if( conceptSatisfiability && !expressivity.hasNominal() ) {
        return new EmptySRIQStrategy( abox );
      }             
    }   

    return new SROIQStrategy( abox );
  }
View Full Code Here


    boolean fullDatatypeReasoning = PelletOptions.USE_FULL_DATATYPE_REASONING
        && (expressivity.hasCardinalityD() || expressivity.hasKeys());

    if( !fullDatatypeReasoning ) {
      if( conceptSatisfiability && !expressivity.hasNominal() ) {
        return new EmptySRIQStrategy( abox );
      }             
    }   

    return new SROIQStrategy( abox );
  }
View Full Code Here

TOP

Related Classes of org.mindswap.pellet.tableau.completion.EmptySRIQStrategy

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.