Package com.clarkparsia.owlapi.explanation.util

Examples of com.clarkparsia.owlapi.explanation.util.DefinitionTracker

56
57
58
59
60
61
62
        this.ontology = checkNotNull(ontology, "ontology cannot be null");
        this.reasonerFactory = checkNotNull(reasonerFactory,
                "reasonerFactory cannot be null");
        this.reasoner = checkNotNull(reasoner, "reasoner cannot be null");
        owlOntologyManager = ontology.getOWLOntologyManager();
        definitionTracker = new DefinitionTracker(ontology);
    }
View Full Code Here
42
43
44
45
46
47
48
    public SingleExplanationGeneratorImpl(OWLOntology ontology, OWLReasonerFactory reasonerFactory, OWLReasoner reasoner) {
        this.ontology = ontology;
        this.reasonerFactory = reasonerFactory;
        this.reasoner = reasoner;
        this.owlOntologyManager = ontology.getOWLOntologyManager();
        definitionTracker = new DefinitionTracker(ontology);
    }
View Full Code Here
63
64
65
66
67
68
69
    public SingleExplanationGeneratorImpl(OWLOntology ontology, OWLReasonerFactory reasonerFactory, OWLReasoner reasoner) {
        this.ontology = ontology;
        this.reasonerFactory = reasonerFactory;
        this.reasoner = reasoner;
        this.owlOntologyManager = ontology.getOWLOntologyManager();
        definitionTracker = new DefinitionTracker(ontology);
    }
View Full Code Here
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
        return prunedExplanation;

      // create an ontology from the explanation axioms
      OWLOntology debuggingOntology = OWL.Ontology( explanation );
     
      DefinitionTracker defTracker = new DefinitionTracker( debuggingOntology );

      // since explanation size is generally small we can create and use a
      // completely new reasoner rather than destroying the state on already
      // existing reasoner
      PelletReasoner reasoner = getReasonerFactory().createNonBufferingReasoner( debuggingOntology );
           
      if( !defTracker.isDefined( unsatClass ) ) {
        log.warning( "Some of the entities in " + unsatClass
            + " are not defined in the explanation " + explanation );
      }
     
      if( isSatisfiable( reasoner, unsatClass, true ) ) {
        log.warning( "Explanation incomplete: Concept " + unsatClass
            + " is satisfiable in the explanation " + explanation );
      }

      // simply remove axioms one at a time. If the unsatClass turns
      // satisfiable then we know that axiom cannot be a part of minimal
      // explanation
      for( OWLAxiom axiom : explanation ) {
        if( log.isLoggable( Level.FINER ) )
          log.finer( "Try pruning " + axiom );
       
        if( !incremental) {
          reasoner.dispose();
        }
       
        OntologyUtils.removeAxioms( debuggingOntology, axiom );
       
        if( !incremental) {
          reasoner = getReasonerFactory().createNonBufferingReasoner( debuggingOntology );
        }
       
        reasoner.getKB().prepare();

        if( defTracker.isDefined( unsatClass )
            && !isSatisfiable( reasoner, unsatClass, false ) ) {
          // does not affect satisfiability so remove from the results
          prunedExplanation.remove( axiom );
         
          if( log.isLoggable( Level.FINER ) )
View Full Code Here
TOP

Related Classes of com.clarkparsia.owlapi.explanation.util.DefinitionTracker

  • com.clarkparsia.owlapi.explanation.GlassBoxExplanation
  • com.clarkparsia.owlapi.explanation.SingleExplanationGeneratorImpl
  • org.semanticweb.owlapi.model.OWLAxiom
    • 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.