Package com.clarkparsia.owlapi.explanation

Examples of com.clarkparsia.owlapi.explanation.SatisfiabilityConverter


    // 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


  private int              axiomCount  = 0;

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

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

    // 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

    loader = (OWLAPILoader) getLoader( "OWLAPIv3" );

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

    reasoner = loader.getReasoner();
   
    loadMethod();
   
View Full Code Here

TOP

Related Classes of com.clarkparsia.owlapi.explanation.SatisfiabilityConverter

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.