Examples of DependencyIndex

org.mindswap.pellet.tableau.completion.incremental.DependencyIndex
This is the index structure for maintaining the dependencies between structures in an ABox and the syntactic assertions which caused them to be created. This is used for incremental deletions. @author Christian Halaschek-Wiener

Examples of org.mindswap.pellet.tableau.completion.incremental.DependencyIndex

    timers.createTimer( "complete" );
    state = EnumSet.noneOf( ReasoningState.class );


    if( PelletOptions.USE_INCREMENTAL_DELETION ) {
      deletedAssertions = new HashSet<ATermAppl>();
      dependencyIndex = new DependencyIndex( this );
      syntacticAssertions = new HashSet<ATermAppl>();
    }


    aboxAssertions = new MultiValueMap<AssertionType, ATermAppl>();

View Full Code Here

Examples of org.mindswap.pellet.tableau.completion.incremental.DependencyIndex


    changes = kb.changes.clone();


    if( PelletOptions.USE_INCREMENTAL_DELETION ) {
      deletedAssertions = new HashSet<ATermAppl>();
      dependencyIndex = new DependencyIndex( this );
      syntacticAssertions = new HashSet<ATermAppl>();
    }


    if( emptyABox ) {
      abox = new ABox( this );


      individuals = new HashSet<ATermAppl>();
      instances = new HashMap<ATermAppl, Set<ATermAppl>>();


      // even though we don't copy the individuals over to the new KB
      // we should still create individuals for the
      for( ATermAppl nominal : kb.getExpressivity().getNominals() ) {
        addIndividual( nominal );
      }
    }
    else {
      abox = kb.abox.copy(this);


      if( PelletOptions.KEEP_ABOX_ASSERTIONS ) {
        for( AssertionType assertionType : AssertionType.values() ) {
          Set<ATermAppl> assertions = kb.aboxAssertions.get( assertionType );
          if( !assertions.isEmpty() )
            aboxAssertions.put( assertionType, new HashSet<ATermAppl>( assertions ) );
        }
      }


      individuals = new HashSet<ATermAppl>( kb.individuals );
      instances = new HashMap<ATermAppl, Set<ATermAppl>>( kb.instances );


      // copy deleted assertions
      if( kb.getDeletedAssertions() != null ) {
        deletedAssertions = new HashSet<ATermAppl>( kb.getDeletedAssertions() );
      }


      if( PelletOptions.USE_INCREMENTAL_CONSISTENCY && PelletOptions.USE_INCREMENTAL_DELETION ) {
        // copy the dependency index
        dependencyIndex = new DependencyIndex( this, kb.dependencyIndex );
      }


      // copy syntactic assertions
      if( kb.syntacticAssertions != null ) {
        syntacticAssertions = new HashSet<ATermAppl>( kb.syntacticAssertions );

View Full Code Here

Examples of org.mindswap.pellet.tableau.completion.incremental.DependencyIndex

    timers.createTimer( "complete" );
    state = EnumSet.noneOf( ReasoningState.class );


    if( PelletOptions.USE_INCREMENTAL_DELETION ) {
      deletedAssertions = new HashSet<ATermAppl>();
      dependencyIndex = new DependencyIndex( this );
      syntacticAssertions = new HashSet<ATermAppl>();
    }


    aboxAssertions = new MultiValueMap<AssertionType, ATermAppl>();

View Full Code Here

Examples of org.mindswap.pellet.tableau.completion.incremental.DependencyIndex


    changes = kb.changes.clone();


    if( PelletOptions.USE_INCREMENTAL_DELETION ) {
      deletedAssertions = new HashSet<ATermAppl>();
      dependencyIndex = new DependencyIndex( this );
      syntacticAssertions = new HashSet<ATermAppl>();
    }


    if( emptyABox ) {
      abox = new ABox( this );


      individuals = new HashSet<ATermAppl>();
      instances = new HashMap<ATermAppl, Set<ATermAppl>>();


      // even though we don't copy the individuals over to the new KB
      // we should still create individuals for the
      for( ATermAppl nominal : kb.getExpressivity().getNominals() ) {
        addIndividual( nominal );
      }
    }
    else {
      abox = kb.abox.copy(this);


      if( PelletOptions.KEEP_ABOX_ASSERTIONS ) {
        for( AssertionType assertionType : AssertionType.values() ) {
          Set<ATermAppl> assertions = kb.aboxAssertions.get( assertionType );
          if( !assertions.isEmpty() )
            aboxAssertions.put( assertionType, new HashSet<ATermAppl>( assertions ) );
        }
      }


      individuals = new HashSet<ATermAppl>( kb.individuals );
      instances = new HashMap<ATermAppl, Set<ATermAppl>>( kb.instances );


      // copy deleted assertions
      if( kb.getDeletedAssertions() != null ) {
        deletedAssertions = new HashSet<ATermAppl>( kb.getDeletedAssertions() );
      }


      if( PelletOptions.USE_INCREMENTAL_CONSISTENCY && PelletOptions.USE_INCREMENTAL_DELETION ) {
        // copy the dependency index
        dependencyIndex = new DependencyIndex( this, kb.dependencyIndex );
      }


      // copy syntactic assertions
      if( kb.syntacticAssertions != null ) {
        syntacticAssertions = new HashSet<ATermAppl>( kb.syntacticAssertions );

View Full Code Here

Examples of org.mindswap.pellet.tableau.completion.incremental.DependencyIndex

    
    annotations.clear();


    if( PelletOptions.USE_INCREMENTAL_DELETION ) {
      deletedAssertions = new HashSet<ATermAppl>();
      dependencyIndex = new DependencyIndex( this );
      syntacticAssertions = new HashSet<ATermAppl>();
    }


    ABox newABox = new ABox( this );
    newABox.cache = abox.cache;

View Full Code Here

TOP

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.