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

Package org.mindswap.pellet.tableau.completion

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

org.mindswap.pellet.tableau.completion.CompletionStrategy
A completion strategy specifies how the tableau rules will be applied to an ABox. Depending on the expressivity of the KB, e.g. SHIN, SHON, etc., different (more efficient) strategies may be used. This class is the base for all different implementations and contains strategy independent functions. @author Evren Sirin


    if( log.isLoggable( Level.FINE ) ) {
          log.fine( "Consistency check starts" );
        }


    CompletionStrategy strategy = kb.chooseStrategy( abox, expr );


    if( log.isLoggable( Level.FINE ) ) {
          log.fine( "Strategy: " + strategy.getClass().getName() );
        }


    Timer completionTimer = kb.timers.getTimer( "complete" );
    completionTimer.start();
    try {
      strategy.complete( expr );
    }
    finally {
      completionTimer.stop();
    }

View Full Code Here

    if( log.isLoggable( Level.FINE ) ) {
          log.fine( "Consistency check starts" );
        }
    
    // currently there is only one incremental consistency strategy
    CompletionStrategy incStrategy = new SROIQIncStrategy( this );


    if( log.isLoggable( Level.FINE ) ) {
          log.fine( "Strategy: " + incStrategy.getClass().getName() );
        }


    // set abox to not being complete
    setComplete( false );
    Timer completionTimer = kb.timers.getTimer( "complete" );
    completionTimer.start();
    try {
      incStrategy.complete(kb.getExpressivityChecker().getExpressivity());
    }
    finally {
      completionTimer.stop();
    }

View Full Code Here


    if( log.isLoggable( Level.FINE ) ) {
          log.fine( "Consistency check starts" );
        }


    CompletionStrategy strategy = kb.chooseStrategy( abox, expr );


    if( log.isLoggable( Level.FINE ) ) {
          log.fine( "Strategy: " + strategy.getClass().getName() );
        }


    Timer completionTimer = kb.timers.getTimer( "complete" );
    completionTimer.start();
    try {
      strategy.complete( expr );
    }
    finally {
      completionTimer.stop();
    }

View Full Code Here

    if( log.isLoggable( Level.FINE ) ) {
          log.fine( "Consistency check starts" );
        }
    
    // currently there is only one incremental consistency strategy
    CompletionStrategy incStrategy = new SROIQIncStrategy( this );


    if( log.isLoggable( Level.FINE ) ) {
          log.fine( "Strategy: " + incStrategy.getClass().getName() );
        }


    // set abox to not being complete
    setComplete( false );
    Timer completionTimer = kb.timers.getTimer( "complete" );
    completionTimer.start();
    try {
      incStrategy.complete(kb.getExpressivityChecker().getExpressivity());
    }
    finally {
      completionTimer.stop();
    }

View Full Code Here

TOP

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

aterm.ATerm

aterm.ATermAppl

org.mindswap.pellet.ABox

org.mindswap.pellet.DependencySet

org.mindswap.pellet.Edge

org.mindswap.pellet.EdgeList

org.mindswap.pellet.Individual

org.mindswap.pellet.IndividualIterator

org.mindswap.pellet.Literal

org.mindswap.pellet.Node

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.