Examples of SatisfiabilityConverter

Examples of com.clarkparsia.explanation.SatisfiabilityConverter

48
49
50
51
52
53
54
55
  private int              axiomCount  = 0;

  public ExplanationTester(ExplanationGenerator expGen) {
    this.expGen = expGen;

    converter = new SatisfiabilityConverter(OntologyUtils.getOWLOntologyManager().getOWLDataFactory());
    renderer = new ConciseExplanationRenderer();
  }
View Full Code Here

Examples of com.clarkparsia.owlapi.explanation.SatisfiabilityConverter

106
107
108
109
110
111
112
113
114
115
116
    // USE_TRACING should be turned on for glass box explanation which is done by
    // ExplanationTestSuite that calls this class. We don't set this value here to
    // avoid repeating the clean up code that sets it bakc to the old value
    assertTrue( !useGlassBox || PelletOptions.USE_TRACING );
   
    converter = new SatisfiabilityConverter(OWL.factory);
    renderer = new ConciseExplanationRenderer();
   
    OWLOntology ontology = OWL.Ontology( ontologyAxioms );     

    PelletReasonerFactory reasonerFactory = PelletReasonerFactory.getInstance();
View Full Code Here

Examples of com.clarkparsia.owlapi.explanation.SatisfiabilityConverter

48
49
50
51
52
53
54
55
  private int              axiomCount  = 0;

  public ExplanationTester(ExplanationGenerator expGen) {
    this.expGen = expGen;

    converter = new SatisfiabilityConverter(OntologyUtils.getOWLOntologyManager().getOWLDataFactory());
    renderer = new ConciseExplanationRenderer();
  }
View Full Code Here

Examples of com.clarkparsia.owlapi.explanation.SatisfiabilityConverter

112
113
114
115
116
117
118
119
120
121
122
    // USE_TRACING should be turned on for glass box explanation which is done by
    // ExplanationTestSuite that calls this class. We don't set this value here to
    // avoid repeating the clean up code that sets it bakc to the old value
    assertTrue( !useGlassBox || PelletOptions.USE_TRACING );
   
    converter = new SatisfiabilityConverter(OWL.factory);
    renderer = new ConciseExplanationRenderer();
   
    OWLOntology ontology = OWL.Ontology( ontologyAxioms );     

    PelletReasonerFactory reasonerFactory = PelletReasonerFactory.getInstance();
View Full Code Here

Examples of com.clarkparsia.owlapi.explanation.SatisfiabilityConverter

201
202
203
204
205
206
207
208
209
210
211
    loader = (OWLAPILoader) getLoader( "OWLAPIv3" );

    getKB();
   
    converter = new SatisfiabilityConverter( loader.getManager().getOWLDataFactory() );

    reasoner = loader.getReasoner();
   
    loadMethod();
   
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.