Examples of Bool

ai.domain.bool.Bool
com.barchart.util.value.api.Bool
com.hp.hpl.jena.eyeball.util.Bool
A boolean variable object. [Can't use Boolean: it's immutable. This once, we want a variable.] @author kers
com.sun.jna.platform.win32.WinDef.BOOL
@author dblock[at]dblock[dot]org
org.mindswap.pellet.utils.Bool
@author Evren Sirin
org.rstudio.studio.client.server.Bool

Examples of org.mindswap.pellet.utils.Bool

    List<ATermAppl> unknowns = new ArrayList<ATermAppl>();
    Iterator<Individual> i = new IndividualIterator( abox );
    while( i.hasNext() ) {
      ATermAppl x = i.next().getName();


      Bool knownType = abox.isKnownType( x, c );
      if( knownType.isTrue() )
        return true;
      else if( knownType.isUnknown() )
        unknowns.add( x );
    }


    boolean hasInstance = !unknowns.isEmpty() && abox.isType( unknowns, c );

View Full Code Here

Examples of org.mindswap.pellet.utils.Bool

    // normalize concepts
    c1 = ATermUtils.normalize( c1 );
    c2 = ATermUtils.normalize( c2 );


    if( isClassified() && !doExplanation() ) {
      Bool isSubNode = builder.getTaxonomy().isSubNodeOf( c1, c2 );
      if( isSubNode.isKnown() )
        return isSubNode.isTrue();
    }


    return abox.isSubClassOf( c1, c2 );
  }

View Full Code Here

Examples of org.mindswap.pellet.utils.Bool

    // normalize concepts
    c1 = ATermUtils.normalize( c1 );
    c2 = ATermUtils.normalize( c2 );


    if( !doExplanation() ) {
      Bool isEquivalent = Bool.UNKNOWN;
      if( isClassified() )
        isEquivalent = builder.getTaxonomy().isEquivalent( c1, c2 );


      if( isEquivalent.isUnknown() )
        isEquivalent = abox.isKnownSubClassOf( c1, c2 ).and(
            abox.isKnownSubClassOf( c2, c1 ) );


      if( isEquivalent.isKnown() )
        return isEquivalent.isTrue();
    }


    ATermAppl notC2 = ATermUtils.negate( c2 );
    ATermAppl notC1 = ATermUtils.negate( c1 );
    ATermAppl c1NotC2 = ATermUtils.makeAnd( c1, notC2 );

View Full Code Here

Examples of org.mindswap.pellet.utils.Bool

    
    ATermAppl c = ATermUtils.makeNot( ATermUtils.makeValue( name ) );


    Set<ATermAppl> differents = new HashSet<ATermAppl>();
    for( ATermAppl x : individuals ) {
      Bool isType = abox.isKnownType( x, c );
      if( isIndependent && isType.isKnown() ) {
        if( isType.isTrue() )
          differents.add( x );
      }
      else if( isType( x, c ) ) {
        differents.add( x );        
      }

View Full Code Here

Examples of org.mindswap.pellet.utils.Bool

          subs = taxonomy.getFlattenedSubs( c, false );
      }


      List<ATermAppl> unknowns = new ArrayList<ATermAppl>();
      for( ATermAppl x : individuals ) {
        Bool isType = abox.isKnownType( x, c, subs );
        if( isType.isTrue() )
          knowns.add( x );
        else if( isType.isUnknown() )
          unknowns.add( x );
      }


      if( !unknowns.isEmpty() ) {
        if( PelletOptions.INSTANCE_RETRIEVAL == InstanceRetrievalMethod.TRACING_BASED

View Full Code Here

Examples of org.mindswap.pellet.utils.Bool

//      System.err.println( c + " " + rootNode.debugString() );
    }
  }


  public Bool isKnownSubClassOf(ATermAppl c1, ATermAppl c2) {
    Bool isSubClassOf = Bool.UNKNOWN;
    CachedNode cached = getCached( c1 );
    if( cached != null ) {
      isSubClassOf = isType( cached, c2 );
    }

View Full Code Here

Examples of org.mindswap.pellet.utils.Bool

    return isSubClassOf;
  }


  public boolean isSubClassOf(ATermAppl c1, ATermAppl c2) {
    if( !doExplanation ) {
      Bool isKnownSubClass = isKnownSubClassOf( c1, c2 );
      if( isKnownSubClass.isKnown() ) {
              return isKnownSubClass.isTrue();
            }
    }
    
    if( log.isLoggable( Level.FINE ) ) {
      long count = kb.timers.getTimer( "subClassSat" ) == null

View Full Code Here

Examples of org.mindswap.pellet.utils.Bool

      : Collections.<ATermAppl>emptySet();
    subs.remove( ATermUtils.BOTTOM );


    CandidateSet<ATermAppl> cs = new CandidateSet<ATermAppl>();
    for( ATermAppl x : individuals ) {
      Bool isType = isKnownType( x, c, subs );
      cs.add( x, isType );
    }


    return cs;
  }

View Full Code Here

Examples of org.mindswap.pellet.utils.Bool

  public void getSubjects(ATermAppl p, ATermAppl o, CandidateSet<ATermAppl> candidates) {
    Iterator<ATermAppl> i = candidates.iterator();
    while( i.hasNext() ) {
      ATermAppl s = i.next();


      Bool hasObviousValue = hasObviousPropertyValue( s, p, o );
      candidates.update( s, hasObviousValue );
    }
  }

View Full Code Here

Examples of org.mindswap.pellet.utils.Bool

  public void getObviousSubjects(ATermAppl p, ATermAppl o, CandidateSet<ATermAppl> candidates) {
    Iterator<ATermAppl> i = candidates.iterator();
    while( i.hasNext() ) {
      ATermAppl s = i.next();


      Bool hasObviousValue = hasObviousPropertyValue( s, p, o );
      if( hasObviousValue.isFalse() ) {
              i.remove();
            }
            else {
              candidates.update( s, hasObviousValue );
            }

View Full Code Here

0 1 2 3 4 5

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.