Package org.mindswap.pellet.utils

Examples of org.mindswap.pellet.utils.Bool

509
510
511
512
513
514
515
516
517
518
519
//      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
520
521
522
523
524
525
526
527
528
529
530
531
532
    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
609
610
611
612
613
614
615
616
617
618
619
      : 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
TOP

Related Classes of org.mindswap.pellet.utils.Bool

  • com.clarkparsia.pellet.sparqldl.engine.QueryEngine
  • org.mindswap.pellet.ABox
  • org.mindswap.pellet.Individual
  • org.mindswap.pellet.jena.graph.loader.DefaultGraphLoader
  • org.mindswap.pellet.KnowledgeBase
  • org.mindswap.pellet.Node
  • org.mindswap.pellet.tableau.cache.AbstractConceptCache
  • 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.