Package org.mindswap.pellet.utils

Examples of org.mindswap.pellet.utils.SizeEstimate

506
507
508
509
510
511
512
513
514
515
516
      state = EnumSet.of( ReasoningState.CONSISTENCY );
      consistent = kb.consistent;

      abox.setComplete( true );

      estimate = new SizeEstimate( this );
    }
    else {
      state = EnumSet.noneOf( ReasoningState.class );
    }
View Full Code Here
1808
1809
1810
1811
1812
1813
1814
1815
1816
1817
1818
    // reset flags
    changes.clear();

    instances.clear();

    estimate = new SizeEstimate( this );
    abox.setDoExplanation( explain );

    if( !canUseIncConsistency ) {
      if( log.isLoggable( Level.FINER ) )
        log.finer( "Expressivity..." );
View Full Code Here
1854
1855
1856
1857
1858
1859
1860
    // update expressivity given this individual
    expChecker.updateWithIndividual( i, c );

    // update the size estimate as this could be a new individual
    estimate = new SizeEstimate( this );
  }
View Full Code Here
505
506
507
508
509
510
511
512
513
514
515
      state = EnumSet.of( ReasoningState.CONSISTENCY );
      consistent = kb.consistent;

      abox.setComplete( true );

      estimate = new SizeEstimate( this );
    }
    else {
      state = EnumSet.noneOf( ReasoningState.class );
    }
View Full Code Here
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
* @author Petr Kremen
*/
public class QuerySizeEstimator {

  public static void computeSizeEstimate(final Query query) {
    final SizeEstimate sizeEstimate = query.getKB().getSizeEstimate();

    final Set<ATermAppl> concepts = new HashSet<ATermAppl>();
    final Set<ATermAppl> properties = new HashSet<ATermAppl>();
//    boolean fullDone = false;
    for (final QueryAtom atom : query.getAtoms()) {
//      if (!fullDone) {
//        switch (atom.getPredicate()) {
//        case Type:
//          if (query.getDistVars()
//              .contains(atom.getArguments().get(1))) {
//            fullDone = true;
//          }
//          break;
//        case PropertyValue:
//          if (query.getDistVars()
//              .contains(atom.getArguments().get(1))) {
//            fullDone = true;
//          }
//          break;
//        case SameAs:
//        case DifferentFrom:
//          break;
//        default:
////          fullDone = true;
//          ;
//        }
//        if (fullDone) {
//          sizeEstimate.computeAll();
//        }
//      }

      for (final ATermAppl argument : atom.getArguments()) {
        if (!ATermUtils.isVar(argument)) {
          if ((query.getKB().isClass(argument) || ATermUtils
              .isComplexClass(argument))
              && !sizeEstimate.isComputed(argument)) {
            concepts.add(argument);
          }

          if (query.getKB().isProperty(argument)
              && !sizeEstimate.isComputed(argument)) {
            properties.add(argument);
          }
        }
      }
    }

    sizeEstimate.compute(concepts, properties);
  }
View Full Code Here
1836
1837
1838
1839
1840
1841
1842
1843
1844
1845
1846
    // reset flags
    changes.clear();

    instances.clear();

    estimate = new SizeEstimate( this );
    abox.setDoExplanation( explain );

    if( !canUseIncConsistency ) {
      if( log.isLoggable( Level.FINER ) )
        log.finer( "Expressivity..." );
View Full Code Here
1882
1883
1884
1885
1886
1887
1888
    // update expressivity given this individual
    expChecker.updateWithIndividual( i, c );

    // update the size estimate as this could be a new individual
    estimate = new SizeEstimate( this );
  }
View Full Code Here
TOP

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

  • aterm.ATermAppl
  • com.clarkparsia.pellet.sparqldl.engine.QuerySizeEstimator
  • org.mindswap.pellet.KnowledgeBase
  • org.mindswap.pellet.Role
  • java.text.NumberFormat
  • java.util.Random
  • java.text.DecimalFormat
  • org.mindswap.pellet.exceptions.InternalReasonerException
    • 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.