@Override public CachedIndexedObjectProperty getIndexedObjectProperty( ElkObjectProperty elkObjectProperty) { return new CachedIndexedObjectPropertyImpl(elkObjectProperty); }
@Override public final ArrayList<ElkAxiom> getToldRangesReasons() { if (toldRangesReasons_ == null) return emptyArrayList(); // else return toldRangesReasons_; }
@Override public final boolean updateOccurrenceNumbers( final ModifiableOntologyIndex index, final OccurrenceIncrement increment) { if (super.updateOccurrenceNumbers(index, increment)) { for (int i = 0; i < Math.abs(increment.positiveIncrement); i++) { // for each indexed negative occurrence of this expression index.onIndexing( Occurrence.POSITIVE_OCCURRENCE_OF_BOTTOM_OBJECT_PROPERTY); } return true; } // else return false; }
@Override public final boolean removeToldRange(IndexedClassExpression range, ElkAxiom reason) { int i = indexOf(range, reason); if (i < 0) return false; // else success toldRanges_.remove(i); toldRangesReasons_.remove(i); if (toldRanges_.isEmpty()) toldRanges_ = null; if (toldRangesReasons_.isEmpty()) toldRangesReasons_ = null; return true; }
@Override public final boolean updateOccurrenceNumbers( final ModifiableOntologyIndex index, final OccurrenceIncrement increment) { if (super.updateOccurrenceNumbers(index, increment)) { for (int i = 0; i < Math.abs(increment.negativeIncrement); i++) { // for each indexed negative occurrence of this expression index.onIndexing( Occurrence.NEGATIVE_OCCURRENCE_OF_TOP_OBJECT_PROPERTY); } return true; } // else return false; }
@Override public final boolean removeToldRange(IndexedClassExpression range, ElkAxiom reason) { int i = indexOf(range, reason); if (i < 0) return false; // else success toldRanges_.remove(i); toldRangesReasons_.remove(i); if (toldRanges_.isEmpty()) toldRanges_ = null; if (toldRangesReasons_.isEmpty()) toldRangesReasons_ = null; return true; }
@Override public final ArrayList<IndexedClassExpression> getToldRanges() { if (toldRanges_ == null) return emptyArrayList(); // else return toldRanges_; }
@Override public CachedIndexedObjectProperty getIndexedObjectProperty( ElkObjectProperty elkObjectProperty) { return new CachedIndexedObjectPropertyImpl(elkObjectProperty); }
@Override public final boolean updateOccurrenceNumbers( final ModifiableOntologyIndex index, final OccurrenceIncrement increment) { if (super.updateOccurrenceNumbers(index, increment)) { for (int i = 0; i < Math.abs(increment.positiveIncrement); i++) { // for each indexed negative occurrence of this expression index.onIndexing( Occurrence.POSITIVE_OCCURRENCE_OF_BOTTOM_OBJECT_PROPERTY); } return true; } // else return false; }
@Override public final boolean removeToldSubPropertyChain( IndexedPropertyChain subChain, ElkAxiom reason) { int i = indexOf(subChain, reason); if (i < 0) return false; // else success toldSubChains_.remove(i); toldSubChainsReasons_.remove(i); if (toldSubChains_.isEmpty()) toldSubChains_ = null; if (toldSubChainsReasons_.isEmpty()) toldSubChainsReasons_ = null; return true; }
@Override public final ArrayList<IndexedPropertyChain> getToldSubChains() { if (toldSubChains_ == null) return emptyArrayList(); // else return toldSubChains_; }
@Override public CachedIndexedObjectProperty getIndexedObjectProperty( ElkObjectProperty elkObjectProperty) { return new CachedIndexedObjectPropertyImpl(elkObjectProperty); }
@Override public final boolean updateOccurrenceNumbers( final ModifiableOntologyIndex index, final OccurrenceIncrement increment) { if (super.updateOccurrenceNumbers(index, increment)) { for (int i = 0; i < Math.abs(increment.negativeIncrement); i++) { // for each indexed negative occurrence of this expression index.onIndexing( Occurrence.NEGATIVE_OCCURRENCE_OF_TOP_OBJECT_PROPERTY); } return true; } // else return false; }
@Override public final boolean removeToldSubPropertyChain( IndexedPropertyChain subChain, ElkAxiom reason) { int i = indexOf(subChain, reason); if (i < 0) return false; // else success toldSubChains_.remove(i); toldSubChainsReasons_.remove(i); if (toldSubChains_.isEmpty()) toldSubChains_ = null; if (toldSubChainsReasons_.isEmpty()) toldSubChainsReasons_ = null; return true; }
@Override public final ArrayList<ElkAxiom> getToldSubChainsReasons() { if (toldSubChainsReasons_ == null) return emptyArrayList(); // else return toldSubChainsReasons_; }
public static ModifiableIndexedObjectProperty createIndexedObjectProperty( ModifiableOntologyIndex index, ElkObjectProperty prop, ModifiableIndexedPropertyChain[] toldSubs, ModifiableIndexedObjectProperty[] toldSupers) { ModifiableIndexedObjectProperty property = new CachedIndexedObjectPropertyImpl( prop); for (ModifiableIndexedPropertyChain sub : toldSubs) { property.addToldSubPropertyChain(sub, null); sub.addToldSuperObjectProperty(property, null); } for (ModifiableIndexedObjectProperty sup : toldSupers) { property.addToldSuperObjectProperty(sup, null); sup.addToldSubPropertyChain(property, null); } return property; }
@Override public final boolean updateOccurrenceNumbers( final ModifiableOntologyIndex index, final OccurrenceIncrement increment) { if (super.updateOccurrenceNumbers(index, increment)) { for (int i = 0; i < Math.abs(increment.negativeIncrement); i++) { // for each indexed negative occurrence of this expression index.onIndexing( Occurrence.NEGATIVE_OCCURRENCE_OF_TOP_OBJECT_PROPERTY); } return true; } // else return false; }
@Override public final boolean removeToldSubPropertyChain( IndexedPropertyChain subChain, ElkAxiom reason) { int i = indexOf(subChain, reason); if (i < 0) return false; // else success toldSubChains_.remove(i); toldSubChainsReasons_.remove(i); if (toldSubChains_.isEmpty()) toldSubChains_ = null; if (toldSubChainsReasons_.isEmpty()) toldSubChainsReasons_ = null; return true; }
@Override public final ArrayList<IndexedPropertyChain> getToldSubChains() { if (toldSubChains_ == null) return emptyArrayList(); // else return toldSubChains_; }
@Override public final boolean updateOccurrenceNumbers( final ModifiableOntologyIndex index, final OccurrenceIncrement increment) { if (super.updateOccurrenceNumbers(index, increment)) { for (int i = 0; i < Math.abs(increment.positiveIncrement); i++) { // for each indexed negative occurrence of this expression index.onIndexing( Occurrence.POSITIVE_OCCURRENCE_OF_BOTTOM_OBJECT_PROPERTY); } return true; } // else return false; }