@Override public IndexedClassExpression visit( ElkNamedIndividual elkNamedIndividual) { return converter.visit(elkNamedIndividual); }
negativeFactory, indexingListener); this.negativeConverter_ = positiveConverter_ .getComplementaryConverter(); this.dualConverter_ = new ElkPolarityExpressionConverterImpl(elkFactory, dualFactory, indexingListener);
negativeFactory, indexingListener); this.negativeConverter_ = positiveConverter_ .getComplementaryConverter(); this.dualConverter_ = new ElkPolarityExpressionConverterImpl(elkFactory, dualFactory, indexingListener);
@Override public IndexedClassExpression visit( ElkNamedIndividual elkNamedIndividual) { return converter.visit(elkNamedIndividual); }
negativeFactory, indexingListener); this.negativeConverter_ = positiveConverter_ .getComplementaryConverter(); this.dualConverter_ = new ElkPolarityExpressionConverterImpl(elkFactory, dualFactory, indexingListener);
@Override public IndexedClassExpression visit( ElkNamedIndividual elkNamedIndividual) { return converter.visit(elkNamedIndividual); }
/** * @param elkFactory * {@link ElkObject} factory. * @param index * Indexed queries are inserted into/deleted from this index. * @param increment * How should occurrence counts of indexed object change. */ public EntailmentQueryConverter(final ElkObject.Factory elkFactory, final ModifiableOntologyIndex index, final int increment) { this.elkFactory_ = elkFactory; final ModifiableIndexedObjectBaseFactory baseFactory = new ModifiableIndexedObjectBaseFactory(); final ModifiableIndexedObject.Factory positiveFactory = new UpdatingModifiableIndexedObjectFactory( baseFactory, index, OccurrenceIncrement.getPositiveIncrement(increment)); final ModifiableIndexedObject.Factory negativeFactory = new UpdatingModifiableIndexedObjectFactory( baseFactory, index, OccurrenceIncrement.getNegativeIncrement(increment)); this.positiveConverter_ = new ElkPolarityExpressionConverterImpl( ElkPolarity.POSITIVE, elkFactory, positiveFactory, negativeFactory, index); this.negativeConverter_ = positiveConverter_ .getComplementaryConverter(); }
@Override public IndexedClassExpression visit(ElkClass elkClass) { return converter.visit(elkClass); }
/** * @param elkFactory * {@link ElkObject} factory. * @param index * Indexed queries are inserted into/deleted from this index. * @param increment * How should occurrence counts of indexed object change. */ public EntailmentQueryConverter(final ElkObject.Factory elkFactory, final ModifiableOntologyIndex index, final int increment) { this.elkFactory_ = elkFactory; final ModifiableIndexedObjectBaseFactory baseFactory = new ModifiableIndexedObjectBaseFactory(); final ModifiableIndexedObject.Factory positiveFactory = new UpdatingModifiableIndexedObjectFactory( baseFactory, index, OccurrenceIncrement.getPositiveIncrement(increment)); final ModifiableIndexedObject.Factory negativeFactory = new UpdatingModifiableIndexedObjectFactory( baseFactory, index, OccurrenceIncrement.getNegativeIncrement(increment)); this.positiveConverter_ = new ElkPolarityExpressionConverterImpl( ElkPolarity.POSITIVE, elkFactory, positiveFactory, negativeFactory, index); this.negativeConverter_ = positiveConverter_ .getComplementaryConverter(); }
@Override public IndexedClassExpression visit(ElkClass elkClass) { return converter.visit(elkClass); }
/** * @param elkFactory * {@link ElkObject} factory. * @param index * Indexed queries are inserted into/deleted from this index. * @param increment * How should occurrence counts of indexed object change. */ public EntailmentQueryConverter(final ElkObject.Factory elkFactory, final ModifiableOntologyIndex index, final int increment) { this.elkFactory_ = elkFactory; final ModifiableIndexedObjectBaseFactory baseFactory = new ModifiableIndexedObjectBaseFactory(); final ModifiableIndexedObject.Factory positiveFactory = new UpdatingModifiableIndexedObjectFactory( baseFactory, index, OccurrenceIncrement.getPositiveIncrement(increment)); final ModifiableIndexedObject.Factory negativeFactory = new UpdatingModifiableIndexedObjectFactory( baseFactory, index, OccurrenceIncrement.getNegativeIncrement(increment)); this.positiveConverter_ = new ElkPolarityExpressionConverterImpl( ElkPolarity.POSITIVE, elkFactory, positiveFactory, negativeFactory, index); this.negativeConverter_ = positiveConverter_ .getComplementaryConverter(); }
@Override public IndexedClassExpression visit(ElkClass elkClass) { return converter.visit(elkClass); }