Package com.clarkparsia.owlapi.explanation

Examples of com.clarkparsia.owlapi.explanation.MultipleExplanationGenerator


    }
  }

  private void explainAxiom(OWLAxiom axiom) throws OWLException {

    MultipleExplanationGenerator expGen = new HSTExplanationGenerator(getSingleExplanationGenerator());
    RendererExplanationProgressMonitor rendererMonitor = new RendererExplanationProgressMonitor(axiom);
    expGen.setProgressMonitor(rendererMonitor);

    OWLClassExpression unsatClass = converter.convert( axiom );
    Timer timer = timers.startTimer("explain");
    Set<Set<OWLAxiom>> explanations = expGen.getExplanations( unsatClass, maxExplanations );
    timer.stop();

    if (explanations.isEmpty()) {
      rendererMonitor.foundNoExplanations();
    }
View Full Code Here

TOP

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

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.