Examples of com.clarkparsia.pellet.expressivity.Expressivity

Package com.clarkparsia.pellet.expressivity

Examples of com.clarkparsia.pellet.expressivity.Expressivity

com.clarkparsia.pellet.expressivity.Expressivity
larkparsia.com>
@author Evren Sirin, Harris Lin

   * 
   * @return
   */
  protected boolean canUseIncConsistency() {
    // can we do incremental consistency checking
    Expressivity expressivity = expChecker.getExpressivity();
    if( expressivity == null )
      return false;


    boolean canUseIncConsistency = 
        !(expressivity.hasNominal() && expressivity.hasInverse())
        && getRules().isEmpty()
        && !isTBoxChanged() && !isRBoxChanged() && abox.isComplete()
        && PelletOptions.USE_INCREMENTAL_CONSISTENCY &&
        // support additions only; also support deletions with or with
        // additions, however tracing must be on to support incremental

View Full Code Here


  public void ensureIncConsistency(boolean aboxDeletion) {
    if( canUseIncConsistency() )
      return;


    Expressivity expressivity = expChecker.getExpressivity();


    String msg = "ABox " + (aboxDeletion
      ? "deletion"
      : "addition") + " failed because ";
    if( expressivity == null )
      msg += "an initial consistency check has not been performed on this KB";
    else if( expressivity.hasNominal() )
      msg += "KB has nominals";
    else if( expressivity.hasInverse() )
      msg += "KB has inverse properties";
    else if( isTBoxChanged() )
      msg += "TBox changed";
    else if( isRBoxChanged() )
      msg += "RBox changed";

View Full Code Here

    buffer.append( "Expressivity: " + expChecker.getExpressivity() + " " );
    buffer.append( "Classes: " + getClasses().size() + " " );
    buffer.append( "Properties: " + getProperties().size() + " " );
    buffer.append( "Individuals: " + individuals.size() + " " );


    Expressivity expressivity = expChecker.getExpressivity();
    if( expressivity.hasNominal() )
      buffer.append( "Nominals: " + expressivity.getNominals().size() + " " );


    return buffer.toString();
  }

View Full Code Here

0 1

TOP

Related Classes of com.clarkparsia.pellet.expressivity.Expressivity

com.clarkparsia.pellet.rules.ContinuousRulesStrategy

com.clarkparsia.pellet.rules.RuleStrategy

org.mindswap.pellet.ABox

org.mindswap.pellet.KnowledgeBase

org.mindswap.pellet.tableau.cache.CacheSafetyDynamic

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.