public TestClassExpressionSaturation(final InterruptMonitor interrupter, ConcurrentExecutor executor, int maxWorkers, OntologyIndex ontologyIndex) { super(new ClassExpressionSaturationFactory<J>( new RuleApplicationAdditionFactory<RuleApplicationInput>( interrupter, SaturationStateFactory .createSaturationState(ontologyIndex)), maxWorkers), executor, maxWorkers); } }
protected AbstractReasonerState(ElkObject.Factory elkFactory, final ReasonerConfiguration config) { this.elkFactory_ = elkFactory; this.ontologyIndex = new DifferentialIndex(elkFactory); this.propertyHierarchyCompositionState_ = new PropertyHierarchyCompositionState(); this.saturationState = SaturationStateFactory .createSaturationState(ontologyIndex); this.consistencyCheckingState = ConsistencyCheckingState .create(saturationState, propertyHierarchyCompositionState_); this.instanceTaxonomyState = new InstanceTaxonomyState(saturationState, ontologyIndex, elkFactory); this.classTaxonomyState = new ClassTaxonomyState(saturationState, ontologyIndex, elkFactory, Arrays.asList( instanceTaxonomyState.getClassTaxonomyStateListener())); this.objectPropertyTaxonomyState = new ObjectPropertyTaxonomyState( elkFactory); this.ruleAndConclusionStats = new SaturationStatistics(); this.stageManager = new ReasonerStageManager(this); this.expressionConverter_ = new ElkPolarityExpressionConverterImpl( elkFactory, ontologyIndex); this.subPropertyConverter_ = new ElkAxiomConverterImpl(elkFactory, ontologyIndex); this.traceState_ = new TraceState(config, saturationState, propertyHierarchyCompositionState_, elkFactory, ontologyIndex); this.classExpressionQueryState_ = new ClassExpressionQueryState(config, saturationState, elkFactory, ontologyIndex, factory_); this.entailmentQueryState_ = new EntailmentQueryState(config, saturationState, consistencyCheckingState, factory_, incompleteness_); }
protected AbstractReasonerState(ElkObject.Factory elkFactory, final ReasonerConfiguration config) { this.elkFactory_ = elkFactory; this.ontologyIndex = new DifferentialIndex(elkFactory); this.propertyHierarchyCompositionState_ = new PropertyHierarchyCompositionState(); this.saturationState = SaturationStateFactory .createSaturationState(ontologyIndex); this.consistencyCheckingState = ConsistencyCheckingState .create(saturationState, propertyHierarchyCompositionState_); this.instanceTaxonomyState = new InstanceTaxonomyState(saturationState, ontologyIndex, elkFactory); this.classTaxonomyState = new ClassTaxonomyState(saturationState, ontologyIndex, elkFactory, Arrays.asList( instanceTaxonomyState.getClassTaxonomyStateListener())); this.objectPropertyTaxonomyState = new ObjectPropertyTaxonomyState( elkFactory); this.ruleAndConclusionStats = new SaturationStatistics(); this.stageManager = new ReasonerStageManager(this); this.expressionConverter_ = new ElkPolarityExpressionConverterImpl( elkFactory, ontologyIndex); this.subPropertyConverter_ = new ElkAxiomConverterImpl(elkFactory, ontologyIndex); this.traceState_ = new TraceState(config, saturationState, propertyHierarchyCompositionState_, elkFactory, ontologyIndex); this.classExpressionQueryState_ = new ClassExpressionQueryState(config, saturationState, elkFactory, ontologyIndex, factory_); this.entailmentQueryState_ = new EntailmentQueryState(config, saturationState, consistencyCheckingState, factory_, incompleteness_); }
protected AbstractReasonerState(ElkObject.Factory elkFactory, final ReasonerConfiguration config) { this.elkFactory_ = elkFactory; this.ontologyIndex = new DifferentialIndex(elkFactory); this.propertyHierarchyCompositionState_ = new PropertyHierarchyCompositionState(); this.saturationState = SaturationStateFactory .createSaturationState(ontologyIndex); this.consistencyCheckingState = ConsistencyCheckingState .create(saturationState, propertyHierarchyCompositionState_); this.instanceTaxonomyState = new InstanceTaxonomyState(saturationState, ontologyIndex, elkFactory); this.classTaxonomyState = new ClassTaxonomyState(saturationState, ontologyIndex, elkFactory, Arrays.asList( instanceTaxonomyState.getClassTaxonomyStateListener())); this.objectPropertyTaxonomyState = new ObjectPropertyTaxonomyState( elkFactory); this.ruleAndConclusionStats = new SaturationStatistics(); this.stageManager = new ReasonerStageManager(this); this.expressionConverter_ = new ElkPolarityExpressionConverterImpl( elkFactory, ontologyIndex); this.subPropertyConverter_ = new ElkAxiomConverterImpl(elkFactory, ontologyIndex); this.traceState_ = new TraceState(config, saturationState, propertyHierarchyCompositionState_, elkFactory, ontologyIndex); this.classExpressionQueryState_ = new ClassExpressionQueryState(config, saturationState, elkFactory, ontologyIndex, factory_); this.entailmentQueryState_ = new EntailmentQueryState(config, saturationState, consistencyCheckingState, factory_, incompleteness_); }
.createSaturationState(index); final TestClassExpressionSaturation<SaturationJob<IndexedClassExpression>> classExpressionSaturation = new TestClassExpressionSaturation<SaturationJob<IndexedClassExpression>>( DummyInterruptMonitor.INSTANCE, executor, 16, saturationState);
.createSaturationState(index); final TestClassExpressionSaturation<SaturationJob<IndexedClassExpression>> classExpressionSaturation = new TestClassExpressionSaturation<SaturationJob<IndexedClassExpression>>( DummyInterruptMonitor.INSTANCE, executor, 16, saturationState);