import org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration; //导入依赖的package包/类
protected Configuration getProtegeConfiguration(
		OWLReasonerConfiguration owlAPIConfiguration) {
	Configuration configuration;
	if (owlAPIConfiguration != null) {
		if (owlAPIConfiguration instanceof Configuration)
			configuration = (Configuration) owlAPIConfiguration;
		else {
			configuration = new Configuration();
			configuration.freshEntityPolicy = owlAPIConfiguration
					.getFreshEntityPolicy();
			configuration.individualNodeSetPolicy = owlAPIConfiguration
					.getIndividualNodeSetPolicy();
			configuration.reasonerProgressMonitor = owlAPIConfiguration
					.getProgressMonitor();
			configuration.individualTaskTimeout = owlAPIConfiguration
					.getTimeOut();
		}
	} else {
		configuration = new Configuration();
		configuration.ignoreUnsupportedDatatypes = true;
	}
	return configuration;
}
 

import org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration; //导入依赖的package包/类
@SuppressWarnings("static-method")
ElkReasoner createElkReasoner(OWLOntology ontology,
		boolean isBufferingMode, OWLReasonerConfiguration config)
		throws IllegalConfigurationException {
	LOGGER_.trace("createElkReasoner(OWLOntology, boolean, OWLReasonerConfiguration)");
	// here we check if the passed configuration also has ELK's parameters
	ElkReasonerConfiguration elkReasonerConfig;
	if (config != null) {
		if (config instanceof ElkReasonerConfiguration) {
			elkReasonerConfig = (ElkReasonerConfiguration) config;
		} else {
			elkReasonerConfig = new ElkReasonerConfiguration(config);
		}
	} else {
		elkReasonerConfig = new ElkReasonerConfiguration();
	}

	return new ElkReasoner(ontology, isBufferingMode, elkReasonerConfig);
}
 

import org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration; //导入依赖的package包/类
/**
 *
 * @param ont
 * @param config
 * @param buffering
 */
public SnorocketOWLReasoner(OWLOntology ont,
        OWLReasonerConfiguration config, boolean buffering) {
    this.owlOntology = ont;
    this.manager = ont.getOWLOntologyManager();
    this.owlFactory = manager.getOWLDataFactory();
    manager.addOntologyChangeListener(ontologyChangeListener);
    this.config = config;
    this.monitor = (config != null) ?
            new ProgressMonitorWrapper(config.getProgressMonitor()) :
            new ProgressMonitorWrapper(new NullReasonerProgressMonitor());
    this.buffering = buffering;

    // Transform, normalise and index axioms
    reasoner.loadAxioms(getAxioms(ont));
}
 

import org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration; //导入依赖的package包/类
@Override
public ElkReasonerConfiguration getConfiguration(
		ReasonerProgressMonitor monitor) {
	OWLReasonerConfiguration defaultOwlConfig = ElkReasonerConfiguration
			.getDefaultOwlReasonerConfiguration(monitor);
	return new ElkReasonerConfiguration(defaultOwlConfig,
			ElkPreferences.getElkConfig());
}
 

import org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration; //导入依赖的package包/类
@Override
public ElkReasoner createNonBufferingReasoner(OWLOntology ontology,
		OWLReasonerConfiguration config)
		throws IllegalConfigurationException {
	LOGGER_.trace("createNonBufferingReasoner(OWLOntology, OWLReasonerConfiguration)");
	
	return createElkReasoner(ontology, false, config);
}
 

import org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration; //导入依赖的package包/类
@Override
public ElkReasoner createReasoner(OWLOntology ontology,
		OWLReasonerConfiguration config)
		throws IllegalConfigurationException {
	LOGGER_.trace("createReasoner(OWLOntology, OWLReasonerConfiguration)");
	
	return createElkReasoner(ontology, true, config);
}
 

import org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration; //导入依赖的package包/类
protected LazyExpressionMaterializingReasoner(OWLOntology rootOntology,
		OWLReasonerConfiguration configuration, BufferingMode bufferingMode) {
	super(rootOntology, configuration, bufferingMode);
	try {
		this.ontology = rootOntology;
		manager = rootOntology.getOWLOntologyManager();
		dataFactory = manager.getOWLDataFactory();
	} catch (UnknownOWLOntologyException e) {
		// TODO Auto-generated catch block
		e.printStackTrace();
	}
}
 

import org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration; //导入依赖的package包/类
@Override
public BornReasoner createNonBufferingReasoner(OWLOntology ontology, OWLReasonerConfiguration configuration)
		throws IllegalConfigurationException {
	Objects.requireNonNull(ontology);
	Objects.requireNonNull(configuration);
	return new BornReasoner(ontology, false, configuration);
}
 

import org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration; //导入依赖的package包/类
@Override
public BornReasoner createReasoner(OWLOntology ontology, OWLReasonerConfiguration configuration)
		throws IllegalConfigurationException {
	Objects.requireNonNull(ontology);
	Objects.requireNonNull(configuration);
	return new BornReasoner(ontology, true, configuration);
}
 

import org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration; //导入依赖的package包/类
@Override
public JcelReasoner createNonBufferingReasoner(OWLOntology ontology, OWLReasonerConfiguration configuration)
		throws IllegalConfigurationException {
	Objects.requireNonNull(ontology);
	Objects.requireNonNull(configuration);
	return new JcelReasoner(ontology, false, configuration);
}
 

import org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration; //导入依赖的package包/类
@Override
public JcelReasoner createReasoner(OWLOntology ontology, OWLReasonerConfiguration configuration)
		throws IllegalConfigurationException {
	Objects.requireNonNull(ontology);
	Objects.requireNonNull(configuration);
	return new JcelReasoner(ontology, true, configuration);
}
 

import org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration; //导入依赖的package包/类
/**
 * @param rootOntology the ontology
 * @param configuration the reasoner configuration
 * @param bufferingMode the buffering mode
 */
public StructuralReasoner2(OWLOntology rootOntology, OWLReasonerConfiguration configuration, BufferingMode bufferingMode) {
    super(rootOntology, configuration, bufferingMode);
    pm = configuration.getProgressMonitor()==null?new NullReasonerProgressMonitor():configuration.getProgressMonitor();
    prepareReasoner();
}
 

import org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration; //导入依赖的package包/类
@Nonnull
public OWLReasoner createNonBufferingReasoner(@Nonnull OWLOntology ontology,
                                              @Nonnull OWLReasonerConfiguration config) {
    return new OWLAPIIdentityReasoner(ontology);
}
 

import org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration; //导入依赖的package包/类
@Nonnull
public OWLReasoner createReasoner(@Nonnull OWLOntology ontology,
                                  @Nonnull OWLReasonerConfiguration config) {
    return new OWLAPIIdentityReasoner(ontology);
}
 

import org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration; //导入依赖的package包/类
public OWLReasoner createReasoner(OWLOntology ontology,
		OWLReasonerConfiguration config) {
	return createHermiTOWLReasoner(getProtegeConfiguration(config),
			ontology);
}
 

import org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration; //导入依赖的package包/类
public OWLReasoner createNonBufferingReasoner(OWLOntology ontology,
		OWLReasonerConfiguration owlAPIConfiguration) {
	Configuration configuration = getProtegeConfiguration(owlAPIConfiguration);
	configuration.bufferChanges = false;
	return createHermiTOWLReasoner(configuration, ontology);
}
 

import org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration; //导入依赖的package包/类
@Override
public ElkProver createNonBufferingReasoner(OWLOntology ontology,
		OWLReasonerConfiguration config) {
	return new ElkProver(
			reasonerFactory_.createNonBufferingReasoner(ontology, config));
}
 

import org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration; //导入依赖的package包/类
@Override
public ElkProver createReasoner(OWLOntology ontology,
		OWLReasonerConfiguration config) {
	return new ElkProver(reasonerFactory_.createReasoner(ontology, config));
}
 

import org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration; //导入依赖的package包/类
public ElkReasonerConfiguration(OWLReasonerConfiguration owlConfig,
		ReasonerConfiguration elkConfig) {
	this.elkConfig = elkConfig;
	this.owlConfig = owlConfig;
}
 

import org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration; //导入依赖的package包/类
public static OWLReasonerConfiguration getDefaultOwlReasonerConfiguration(
		ReasonerProgressMonitor monitor) {
	return new SimpleConfiguration(monitor, FreshEntityPolicy.ALLOW, 0,
			IndividualNodeSetPolicy.BY_NAME);
}