import org.semanticweb.owlapi.reasoner.FreshEntityPolicy; //导入依赖的package包/类
public Configuration() {
    warningMonitor=null;
    reasonerProgressMonitor=null;
    tableauMonitorType=Configuration.TableauMonitorType.NONE;
    directBlockingType=Configuration.DirectBlockingType.OPTIMAL;
    blockingStrategyType=Configuration.BlockingStrategyType.OPTIMAL;
    blockingSignatureCacheType=Configuration.BlockingSignatureCacheType.CACHED;
    existentialStrategyType=Configuration.ExistentialStrategyType.CREATION_ORDER;
    ignoreUnsupportedDatatypes=false;
    monitor=null;
    parameters=new HashMap<String,Object>();
    individualTaskTimeout=-1;
    bufferChanges=true;
    individualNodeSetPolicy=IndividualNodeSetPolicy.BY_NAME;
    freshEntityPolicy=FreshEntityPolicy.ALLOW;
    useDisjunctionLearning=true;
    throwInconsistentOntologyException=true;
    prepareReasonerInferences=null;
    forceQuasiOrderClassification=false;
}
 

import org.semanticweb.owlapi.reasoner.FreshEntityPolicy; //导入依赖的package包/类
protected void throwFreshEntityExceptionIfNecessary(OWLObject... objects) {
	if (m_configuration.freshEntityPolicy == FreshEntityPolicy.DISALLOW) {
		Set<OWLEntity> undeclaredEntities = new HashSet<OWLEntity>();
		for (OWLObject object : objects) {
			if (!(object instanceof OWLEntity)
					|| !((OWLEntity) object).isBuiltIn()) {
				for (OWLDataProperty dp : object
						.getDataPropertiesInSignature())
					if (!isDefined(dp)
							&& !Prefixes.isInternalIRI(dp.getIRI()
									.toString()))
						undeclaredEntities.add(dp);
				for (OWLObjectProperty op : object
						.getObjectPropertiesInSignature())
					if (!isDefined(op)
							&& !Prefixes.isInternalIRI(op.getIRI()
									.toString()))
						undeclaredEntities.add(op);
				for (OWLNamedIndividual individual : object
						.getIndividualsInSignature())
					if (!isDefined(individual)
							&& !Prefixes.isInternalIRI(individual.getIRI()
									.toString()))
						undeclaredEntities.add(individual);
				for (OWLClass owlClass : object.getClassesInSignature())
					if (!isDefined(owlClass)
							&& !Prefixes.isInternalIRI(owlClass.getIRI()
									.toString()))
						undeclaredEntities.add(owlClass);
			}
		}
		if (!undeclaredEntities.isEmpty())
			throw new FreshEntitiesException(undeclaredEntities);
	}
}
 

import org.semanticweb.owlapi.reasoner.FreshEntityPolicy; //导入依赖的package包/类
ElkReasoner(OWLOntology ontology, boolean isBufferingMode,
		ElkReasonerConfiguration elkConfig,
		final Reasoner internalReasoner) {
	this.owlOntology_ = ontology;
	this.owlOntologymanager_ = ontology.getOWLOntologyManager();
	this.mainProgressMonitor_ = elkConfig.getProgressMonitor() == null
			? new DummyProgressMonitor()
			: new ElkReasonerProgressMonitor(
					elkConfig.getProgressMonitor());
	this.secondaryProgressMonitor_ = new DummyProgressMonitor();
	this.isBufferingMode_ = isBufferingMode;
	this.ontologyChangeListener_ = new OntologyChangeListener();
	this.owlOntologymanager_
			.addOntologyChangeListener(ontologyChangeListener_);
	this.ontologyChangeProgressListener_ = new OntologyChangeProgressListener();
	this.owlOntologymanager_.addOntologyChangeProgessListener(
			ontologyChangeProgressListener_);
	this.objectFactory_ = internalReasoner.getElkFactory();
	this.owlConverter_ = OwlConverter.getInstance();
	this.elkConverter_ = ElkConverter.getInstance();

	this.config_ = elkConfig.getElkConfiguration();
	this.isAllowFreshEntities = elkConfig
			.getFreshEntityPolicy() == FreshEntityPolicy.ALLOW;

	initReasoner(internalReasoner);
	this.bufferedChangesLoader_ = new OwlChangesLoaderFactory(
			this.mainProgressMonitor_);
	if (!isBufferingMode_) {
		// register the change loader only in non-buffering mode;
		// in buffering mode the loader is registered only when
		// changes are flushed
		reasoner_.registerAxiomLoader(bufferedChangesLoader_);
	}
	this.ontologyReloadRequired_ = false;
}
 

import org.semanticweb.owlapi.reasoner.FreshEntityPolicy; //导入依赖的package包/类
@Override
public FreshEntityPolicy getFreshEntityPolicy() {
	LOGGER_.trace("getFreshEntityPolicy()");

	return reasoner_.getAllowFreshEntities() ? FreshEntityPolicy.ALLOW
			: FreshEntityPolicy.DISALLOW;
}
 

import org.semanticweb.owlapi.reasoner.FreshEntityPolicy; //导入依赖的package包/类
/**
 * Create a HermiT reasoner instance
 * @param useProgressMonitor	true if a progress monitor should be used, false otherwise
 * @return Reasoner instance
 */
public OWLReasoner createReasoner(boolean useProgressMonitor) {
	Configuration config = new Configuration();
	config.freshEntityPolicy = FreshEntityPolicy.ALLOW;
	
	if(verbose) System.out.print("   Creating reasoner... ");
	long start = System.currentTimeMillis();
	
	OWLReasoner reasoner = new Reasoner(config, ont);
	
	long end = System.currentTimeMillis();
	if(verbose) System.out.println("done (" + (end-start)/1000.0 + " secs)");
	return reasoner;
}
 

import org.semanticweb.owlapi.reasoner.FreshEntityPolicy; //导入依赖的package包/类
@Override
public FreshEntityPolicy getFreshEntityPolicy() {
    return FreshEntityPolicy.ALLOW;
}
 

import org.semanticweb.owlapi.reasoner.FreshEntityPolicy; //导入依赖的package包/类
public FreshEntityPolicy getFreshEntityPolicy() {
	return m_configuration.getFreshEntityPolicy();
}
 

import org.semanticweb.owlapi.reasoner.FreshEntityPolicy; //导入依赖的package包/类
public FreshEntityPolicy getFreshEntityPolicy() {
	return freshEntityPolicy;
}
 

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

import org.semanticweb.owlapi.reasoner.FreshEntityPolicy; //导入依赖的package包/类
@Override
public FreshEntityPolicy getFreshEntityPolicy() {
	return owlConfig.getFreshEntityPolicy();
}
 

import org.semanticweb.owlapi.reasoner.FreshEntityPolicy; //导入依赖的package包/类
@Override
public FreshEntityPolicy getFreshEntityPolicy() {
	return delegate_.getFreshEntityPolicy();
}
 

import org.semanticweb.owlapi.reasoner.FreshEntityPolicy; //导入依赖的package包/类
public FreshEntityPolicy getFreshEntityPolicy() {
	return getWrappedReasoner().getFreshEntityPolicy();
}
 

import org.semanticweb.owlapi.reasoner.FreshEntityPolicy; //导入依赖的package包/类
public FreshEntityPolicy getFreshEntityPolicy() {
	return FreshEntityPolicy.DISALLOW;
}
 

import org.semanticweb.owlapi.reasoner.FreshEntityPolicy; //导入依赖的package包/类
public FreshEntityPolicy getFreshEntityPolicy() {
	// TODO Auto-generated method stub
	return null;
}
 

import org.semanticweb.owlapi.reasoner.FreshEntityPolicy; //导入依赖的package包/类
@Override
public FreshEntityPolicy getFreshEntityPolicy() {
	logger.finer("getFreshEntityPolicy()");
	throw new UnsupportedReasonerOperationInBornException("Unsupported operation : getFreshEntityPolicy()");
}
 

import org.semanticweb.owlapi.reasoner.FreshEntityPolicy; //导入依赖的package包/类
@Override
public FreshEntityPolicy getFreshEntityPolicy() {
	logger.finer("getFreshEntityPolicy()");
	throw new UnsupportedReasonerOperationInJcelException("Unsupported operation : getFreshEntityPolicy()");
}
 

import org.semanticweb.owlapi.reasoner.FreshEntityPolicy; //导入依赖的package包/类
/**
 * Gets the Fresh Entity Policy in use by this reasoner. The policy is set
 * at reasoner creation time.
 *
 * @return The policy.
 */
@Override
public FreshEntityPolicy getFreshEntityPolicy() {
    return (config != null) ? config.getFreshEntityPolicy()
            : FreshEntityPolicy.DISALLOW;
}