Examples of GlassBoxExplanation

Examples of com.clarkparsia.owlapi.explanation.GlassBoxExplanation

87
88
89
90
91
92
93
94
95
96
97
98
  public void after() {
    super.after();
   
    if( expGen != null ) {
      if( useGlassBox ) {
        GlassBoxExplanation gbe = (GlassBoxExplanation) expGen.getSingleExplanationGenerator();
        gbe.dispose();
        reasoner.dispose();
      }
      else {
        BlackBoxExplanation bbe = (BlackBoxExplanation) expGen.getSingleExplanationGenerator();
        bbe.dispose();
View Full Code Here

Examples of com.clarkparsia.owlapi.explanation.GlassBoxExplanation

115
116
117
118
119
120
121
122
123
124
125
    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.GlassBoxExplanation

93
94
95
96
97
98
99
100
101
102
103
104
  public void after() {
    super.after();
   
    if( expGen != null ) {
      if( useGlassBox ) {
        GlassBoxExplanation gbe = (GlassBoxExplanation) expGen.getSingleExplanationGenerator();
        gbe.dispose();
        reasoner.dispose();
      }
      else {
        BlackBoxExplanation bbe = (BlackBoxExplanation) expGen.getSingleExplanationGenerator();
        bbe.dispose();
View Full Code Here

Examples of com.clarkparsia.owlapi.explanation.GlassBoxExplanation

121
122
123
124
125
126
127
128
129
130
131
    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.GlassBoxExplanation

426
427
428
429
430
431
432
433
434
435
436
437
438
439
      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.