Package com.clarkparsia.pellet.expressivity

Examples of com.clarkparsia.pellet.expressivity.Expressivity

178
179
180
181
182
183
184
185
186
187
188
  }

  public void complete(Expressivity expr) {
    Timer t;

    Expressivity expressivity = abox.getKB().getExpressivity();

    initialize( expressivity );

    merging = false;
    t = timers.startTimer( "rule-buildReteRules" );
View Full Code Here
36
37
38
39
40
41
42
*/
public class CacheSafetyDynamic implements CacheSafety {
  private final Expressivity  expressivity;

  CacheSafetyDynamic(Expressivity e) {
    this.expressivity = new Expressivity( e );
  }
View Full Code Here
1362
1363
1364
1365
1366
1367
1368
1369
1370
1371
1372
1373
1374
1375
1376
1377
1378
1379
1380
1381
1382
1383
1384
1385
1386
1387
        log.fine( "Consistency " + ATermUtils.toString( c ) + " for " + individuals.size() + " individuals "
            + sb );
      }
    }

    Expressivity expr = kb.getExpressivityChecker().getExpressivityWith( c );

    // if c is null we are checking the consistency of this ABox as
    // it is and we will not add anything extra
    boolean initialConsistencyCheck = (c == null);

    boolean emptyConsistencyCheck = initialConsistencyCheck && isEmpty();

    // if individuals is empty and we are not building the pseudo
    // model then this is concept satisfiability
    boolean conceptSatisfiability = individuals.isEmpty()
        && (!initialConsistencyCheck || emptyConsistencyCheck);

    // Check if there are any nominals in the KB or nominal
    // reasoning is disabled
    boolean hasNominal = expr.hasNominal() && !PelletOptions.USE_PSEUDO_NOMINALS;

    // Use empty model only if this is concept satisfiability for a KB
    // where there are no nominals
    boolean canUseEmptyABox = conceptSatisfiability && !hasNominal;
View Full Code Here
1866
1867
1868
1869
1870
1871
1872
1873
1874
1875
1876
    buffer.append( "Expressivity: " + expChecker.getExpressivity() + " " );
    buffer.append( "Classes: " + getClasses().size() + " " );
    buffer.append( "Properties: " + getProperties().size() + " " );
    buffer.append( "Individuals: " + individuals.size() + " " );

    Expressivity expressivity = expChecker.getExpressivity();
    if( expressivity.hasNominal() )
      buffer.append( "Nominals: " + expressivity.getNominals().size() + " " );

    return buffer.toString();
  }
View Full Code Here
4682
4683
4684
4685
4686
4687
4688
4689
4690
4691
4692
4693
4694
4695
4696
4697
   *
   * @return
   */
  protected boolean canUseIncConsistency() {
    // can we do incremental consistency checking
    Expressivity expressivity = expChecker.getExpressivity();
    if( expressivity == null )
      return false;

    boolean canUseIncConsistency =
        !(expressivity.hasNominal() && expressivity.hasInverse())
        && getRules().isEmpty()
        && !isTBoxChanged() && !isRBoxChanged() && abox.isComplete()
        && PelletOptions.USE_INCREMENTAL_CONSISTENCY &&
        // support additions only; also support deletions with or with
        // additions, however tracing must be on to support incremental
View Full Code Here
4703
4704
4705
4706
4707
4708
4709
4710
4711
4712
4713
4714
4715
4716
4717
4718
4719
4720
4721
4722
  public void ensureIncConsistency(boolean aboxDeletion) {
    if( canUseIncConsistency() )
      return;

    Expressivity expressivity = expChecker.getExpressivity();

    String msg = "ABox " + (aboxDeletion
      ? "deletion"
      : "addition") + " failed because ";
    if( expressivity == null )
      msg += "an initial consistency check has not been performed on this KB";
    else if( expressivity.hasNominal() )
      msg += "KB has nominals";
    else if( expressivity.hasInverse() )
      msg += "KB has inverse properties";
    else if( isTBoxChanged() )
      msg += "TBox changed";
    else if( isRBoxChanged() )
      msg += "RBox changed";
View Full Code Here
82
83
84
85
86
87
88
89
90
91
92
  }

  public void complete(Expressivity expr ) {
//    Timer t;

    Expressivity expressivity = abox.getKB().getExpressivity();

    initialize( expressivity );

    //run the RETE once when the rules are not applied
    if( !abox.ranRete && abox.rulesNotApplied ) {
View Full Code Here
238
239
240
241
242
243
244
245
246
247
248
  }

  public void complete(Expressivity expr) {
//    Timer t;

    Expressivity expressivity = abox.getKB().getExpressivity();

    initialize( expressivity );

    merging = false;
//    t = timers.startTimer( "rule-buildReteRules" );
View Full Code Here
36
37
38
39
40
41
42
*/
public class CacheSafetyDynamic implements CacheSafety {
  private final Expressivity  expressivity;

  CacheSafetyDynamic(Expressivity e) {
    this.expressivity = new Expressivity( e );
  }
View Full Code Here
1362
1363
1364
1365
1366
1367
1368
1369
1370
1371
1372
1373
1374
1375
1376
1377
1378
1379
1380
1381
1382
1383
1384
1385
1386
1387
        log.fine( "Consistency " + ATermUtils.toString( c ) + " for " + individuals.size() + " individuals "
            + sb );
      }
    }

    Expressivity expr = kb.getExpressivityChecker().getExpressivityWith( c );

    // if c is null we are checking the consistency of this ABox as
    // it is and we will not add anything extra
    boolean initialConsistencyCheck = (c == null);

    boolean emptyConsistencyCheck = initialConsistencyCheck && isEmpty();

    // if individuals is empty and we are not building the pseudo
    // model then this is concept satisfiability
    boolean conceptSatisfiability = individuals.isEmpty()
        && (!initialConsistencyCheck || emptyConsistencyCheck);

    // Check if there are any nominals in the KB or nominal
    // reasoning is disabled
    boolean hasNominal = expr.hasNominal() && !PelletOptions.USE_PSEUDO_NOMINALS;

    // Use empty model only if this is concept satisfiability for a KB
    // where there are no nominals
    boolean canUseEmptyABox = conceptSatisfiability && !hasNominal;
View Full Code Here
TOP

Related Classes of com.clarkparsia.pellet.expressivity.Expressivity

  • com.clarkparsia.pellet.rules.ContinuousRulesStrategy
  • com.clarkparsia.pellet.rules.RuleStrategy
  • org.mindswap.pellet.ABox
  • org.mindswap.pellet.KnowledgeBase
  • org.mindswap.pellet.tableau.cache.CacheSafetyDynamic
    • 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.