Examples of BlackBoxExplanation

Examples of com.clarkparsia.owlapi.explanation.BlackBoxExplanation

92
93
94
95
96
97
98
99
100
101
102
        GlassBoxExplanation gbe = (GlassBoxExplanation) expGen.getSingleExplanationGenerator();
        gbe.dispose();
        reasoner.dispose();
      }
      else {
        BlackBoxExplanation bbe = (BlackBoxExplanation) expGen.getSingleExplanationGenerator();
        bbe.dispose();
        reasoner.getManager().removeOntologyChangeListener( bbe.getDefinitionTracker() );
      }
    }
  }
View Full Code Here

Examples of com.clarkparsia.owlapi.explanation.BlackBoxExplanation

116
117
118
119
120
121
122
123
124
125
126
    PelletReasonerFactory reasonerFactory = PelletReasonerFactory.getInstance();
    reasoner = reasonerFactory.createReasoner( ontology );

    TransactionAwareSingleExpGen singleExpGen = useGlassBox
      ? new GlassBoxExplanation( reasoner )
      : new BlackBoxExplanation( ontology, reasonerFactory, reasoner ) {
          protected boolean isFirstExplanation() {
            return false;
          }
      };
View Full Code Here

Examples of com.clarkparsia.owlapi.explanation.BlackBoxExplanation

98
99
100
101
102
103
104
105
106
107
108
        GlassBoxExplanation gbe = (GlassBoxExplanation) expGen.getSingleExplanationGenerator();
        gbe.dispose();
        reasoner.dispose();
      }
      else {
        BlackBoxExplanation bbe = (BlackBoxExplanation) expGen.getSingleExplanationGenerator();
        bbe.dispose();
        reasoner.getManager().removeOntologyChangeListener( bbe.getDefinitionTracker() );
      }
    }
  }
View Full Code Here

Examples of com.clarkparsia.owlapi.explanation.BlackBoxExplanation

122
123
124
125
126
127
128
129
130
131
132
    PelletReasonerFactory reasonerFactory = PelletReasonerFactory.getInstance();
    reasoner = reasonerFactory.createReasoner( ontology );

    TransactionAwareSingleExpGen singleExpGen = useGlassBox
      ? new GlassBoxExplanation( reasoner )
      : new BlackBoxExplanation( ontology, reasonerFactory, reasoner ) {
          protected boolean isFirstExplanation() {
            return false;
          }
      };
View Full Code Here

Examples of com.clarkparsia.owlapi.explanation.BlackBoxExplanation

423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
  private TransactionAwareSingleExpGen getSingleExplanationGenerator() {
    if( useBlackBox ) {
      if ( options.getOption( "inconsistent" ) != null ) {
        if( !options.getOption( "inconsistent" ).getValueAsBoolean() ) {
          return new BlackBoxExplanation( reasoner.getRootOntology(), PelletReasonerFactory.getInstance(), reasoner );
        } else {
          output( "WARNING: black method cannot be used to explain inconsistency. Switching to glass." );
          return new GlassBoxExplanation( reasoner ); 
        }
      } else {
        return new BlackBoxExplanation( reasoner.getRootOntology(), PelletReasonerFactory.getInstance(), reasoner );
      }
    } else {
      return new GlassBoxExplanation( reasoner );
    }
  }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.