@Override public Void visit(ElkDisjointClassesAxiom axiom) { indexDisjointMembers(elkDisjointClassesAxiomDisjointnessIndexer, axiom, axiom.getClassExpressions()); return null; }
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_);
@Override public Void visit(ElkDisjointClassesAxiom axiom) { indexDisjointMembers(elkDisjointClassesAxiomDisjointnessIndexer, axiom, axiom.getClassExpressions()); return null; }
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_); }
@Override public Void visit(ElkDifferentIndividualsAxiom axiom) { indexDisjointMembers(elkDifferentIndividualsAxiomDisjointnessIndexer, axiom, axiom.getIndividuals()); return null; }
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_); }
@Override public Void visit(ElkDifferentIndividualsAxiom axiom) { indexDisjointMembers(elkDifferentIndividualsAxiomDisjointnessIndexer, axiom, axiom.getIndividuals()); return null; }
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_); }
@Override public Void visit(ElkDifferentIndividualsAxiom axiom) { indexDisjointMembers(elkDifferentIndividualsAxiomDisjointnessIndexer, axiom, axiom.getIndividuals()); return null; }
ElkAxiomConverter axiomInserter = new ElkAxiomConverterImpl( elkFactory, ontologyIndex_, 1); ElkAxiomConverter axiomDeleter = new ElkAxiomConverterImpl( elkFactory, ontologyIndex_, -1);
@Override public Void visit(ElkDisjointClassesAxiom axiom) { indexDisjointMembers(elkDisjointClassesAxiomDisjointnessIndexer, axiom, axiom.getClassExpressions()); return null; }
ElkAxiomConverter axiomInserter = new ElkAxiomConverterImpl( elkFactory, ontologyIndex_, 1); ElkAxiomConverter axiomDeleter = new ElkAxiomConverterImpl( elkFactory, ontologyIndex_, -1);
List<? extends ElkClassExpression> disjoint = axiom .getClassExpressions(); indexDisjointMembers(elkDisjointUnionAxiomDisjointnessIndexer, axiom, disjoint); ModifiableIndexedClass defined;
ElkAxiomConverter axiomInserter = new ElkAxiomConverterImpl( elkFactory, ontologyIndex_, 1); ElkAxiomConverter axiomDeleter = new ElkAxiomConverterImpl( elkFactory, ontologyIndex_, -1);
List<? extends ElkClassExpression> disjoint = axiom .getClassExpressions(); indexDisjointMembers(elkDisjointUnionAxiomDisjointnessIndexer, axiom, disjoint); ModifiableIndexedClass defined;
TimeUnit.NANOSECONDS); final ElkAxiomProcessor inserter = new ChangeIndexingProcessor( new ElkAxiomConverterImpl(objectFactory, index, 1), ChangeIndexingProcessor.ADDITION, index);
List<? extends ElkClassExpression> disjoint = axiom .getClassExpressions(); indexDisjointMembers(elkDisjointUnionAxiomDisjointnessIndexer, axiom, disjoint); ModifiableIndexedClass defined;
new ElkAxiomConverterImpl(objectFactory, index, 1), ChangeIndexingProcessor.ADDITION, index); inserter.visit(objectFactory.getEquivalentClassesAxiom(b, c));