Package org.mindswap.pellet.utils

Examples of org.mindswap.pellet.utils.Bool

2704
2705
2706
2707
2708
2709
2710
2711
2712
2713
2714
2715
    }

    c = ATermUtils.normalize( c );

    if( isClassified() && !doExplanation() ) {
      Bool equivToBottom = builder.getTaxonomy().isEquivalent( ATermUtils.BOTTOM, c );
      if( equivToBottom.isKnown() )
        return equivToBottom.isFalse();
    }

    return abox.isSatisfiable( c );
  }
View Full Code Here
2734
2735
2736
2737
2738
2739
2740
2741
2742
2743
2744
2745
2746
2747
    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
2790
2791
2792
2793
2794
2795
2796
2797
2798
2799
2800
2801
    // 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
2826
2827
2828
2829
2830
2831
2832
2833
2834
2835
2836
2837
2838
2839
2840
2841
2842
2843
2844
2845
    // 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
3044
3045
3046
3047
3048
3049
3050
3051
3052
3053
3054
3055
3056
   
    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
4220
4221
4222
4223
4224
4225
4226
4227
4228
4229
4230
4231
4232
4233
          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
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
642
643
644
645
646
647
648
649
650
  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
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.