// Path: src/main/java/org/semanticweb/owl/explanation/impl/blackbox/EntailmentCheckerFactory.java
// public interface EntailmentCheckerFactory<E> {
// 
//     EntailmentChecker<E> createEntailementChecker(E entailment);
// }


import org.semanticweb.owl.explanation.api.*;
import org.semanticweb.owl.explanation.impl.blackbox.EntailmentCheckerFactory;
import org.semanticweb.owl.explanation.telemetry.DefaultTelemetryInfo;
import org.semanticweb.owl.explanation.telemetry.TelemetryInfo;
import org.semanticweb.owl.explanation.telemetry.TelemetryTimer;
import org.semanticweb.owl.explanation.telemetry.TelemetryTransmitter;
import org.semanticweb.owlapi.apibinding.OWLManager;
import org.semanticweb.owlapi.model.*;
import uk.ac.manchester.cs.owl.owlapi.OWLDataFactoryImpl;
import uk.ac.manchester.cs.owlapi.modularity.ModuleType;
import uk.ac.manchester.cs.owlapi.modularity.SyntacticLocalityModuleExtractor;
import java.util.*;
package org.semanticweb.owl.explanation.impl.laconic;



/**
 * Author: Matthew Horridge<br>
 * The University of Manchester<br>
 * Bio-Health Informatics Group<br>
 * Date: 26/04/2011
 */
public class LaconicExplanationGeneratorBasedOnOPlusWithDeltaPlusFiltering implements ExplanationGenerator<OWLAxiom> {

    private Set<OWLAxiom> inputAxioms;

// Path: src/main/java/org/semanticweb/owl/explanation/impl/blackbox/EntailmentCheckerFactory.java
// public interface EntailmentCheckerFactory<E> {
// 
//     EntailmentChecker<E> createEntailementChecker(E entailment);
// }


// Path: src/main/java/org/semanticweb/owl/explanation/impl/laconic/LaconicExplanationGeneratorBasedOnOPlusWithDeltaPlusFiltering.java
import org.semanticweb.owl.explanation.api.*;
import org.semanticweb.owl.explanation.impl.blackbox.EntailmentCheckerFactory;
import org.semanticweb.owl.explanation.telemetry.DefaultTelemetryInfo;
import org.semanticweb.owl.explanation.telemetry.TelemetryInfo;
import org.semanticweb.owl.explanation.telemetry.TelemetryTimer;
import org.semanticweb.owl.explanation.telemetry.TelemetryTransmitter;
import org.semanticweb.owlapi.apibinding.OWLManager;
import org.semanticweb.owlapi.model.*;
import uk.ac.manchester.cs.owl.owlapi.OWLDataFactoryImpl;
import uk.ac.manchester.cs.owlapi.modularity.ModuleType;
import uk.ac.manchester.cs.owlapi.modularity.SyntacticLocalityModuleExtractor;
import java.util.*;

package org.semanticweb.owl.explanation.impl.laconic;



/**
 * Author: Matthew Horridge<br>
 * The University of Manchester<br>
 * Bio-Health Informatics Group<br>
 * Date: 26/04/2011
 */
public class LaconicExplanationGeneratorBasedOnOPlusWithDeltaPlusFiltering implements ExplanationGenerator<OWLAxiom> {

    private Set<OWLAxiom> inputAxioms;

    private EntailmentCheckerFactory<OWLAxiom> entailmentCheckerFactory;