this.elkAxiomConverter_ = new ElkAxiomConverterImpl(elkFactory, new ResolvingModifiableIndexedObjectFactory(index), index, indexedAxiomInferences_);
this.elkAxiomConverter_ = new ElkAxiomConverterImpl(elkFactory, new ResolvingModifiableIndexedObjectFactory(index), index, indexedAxiomInferences_);
this.elkAxiomConverter_ = new ElkAxiomConverterImpl(elkFactory, new ResolvingModifiableIndexedObjectFactory(index), index, indexedAxiomInferences_);
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_); }
ElkAxiomConverter axiomInserter = new ElkAxiomConverterImpl( elkFactory, ontologyIndex_, 1); ElkAxiomConverter axiomDeleter = new ElkAxiomConverterImpl( elkFactory, ontologyIndex_, -1);
ElkAxiomConverter axiomInserter = new ElkAxiomConverterImpl( elkFactory, ontologyIndex_, 1); ElkAxiomConverter axiomDeleter = new ElkAxiomConverterImpl( elkFactory, ontologyIndex_, -1);
ElkAxiomConverter axiomInserter = new ElkAxiomConverterImpl( elkFactory, ontologyIndex_, 1); ElkAxiomConverter axiomDeleter = new ElkAxiomConverterImpl( elkFactory, ontologyIndex_, -1);
TimeUnit.NANOSECONDS); final ElkAxiomProcessor inserter = new ChangeIndexingProcessor( new ElkAxiomConverterImpl(objectFactory, index, 1), ChangeIndexingProcessor.ADDITION, index);
new ElkAxiomConverterImpl(objectFactory, index, 1), ChangeIndexingProcessor.ADDITION, index); inserter.visit(objectFactory.getEquivalentClassesAxiom(b, c));